| 2001 | A Close Look at Constraint-Based Concurrency. Kazunori Ueda |
| 2001 | A Computational Model for Functional Logic Deductive Databases. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández |
| 2001 | A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. Gianluigi Greco, Sergio Greco, Ester Zumpano |
| 2001 | A Multi-adjoint Logic Approach to Abductive Reasoning. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
| 2001 | A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. Hai-Feng Guo, Gopal Gupta |
| 2001 | Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka |
| 2001 | An Order-Sorted Resolution with Implicitly Negative Sorts. Ken Kaneiwa, Satoshi Tojo |
| 2001 | Building Constraint Solvers with HAL. Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |
| 2001 | Building Real-Life Applications with Prolog. Jan Wielemaker |
| 2001 | Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. Patrick Cousot |
| 2001 | Fages' Theorem for Programs with Nested Expressions. Esra Erdem, Vladimir Lifschitz |
| 2001 | Fixed-Parameter Complexity of Semantics for Logic Programs. Zbigniew Lonc, Miroslaw Truszczynski |
| 2001 | Higher-Precision Groundness Analysis. Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey |
| 2001 | Is Logic Really Dead or Only Just Sleeping? Robert A. Kowalski |
| 2001 | Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma |
| 2001 | Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura |
| 2001 | Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings Philippe Codognet |
| 2001 | Natural Language Tabular Parsing. Éric Villemonte de la Clergerie |
| 2001 | On a Tabling Engine That Can Exploit Or-Parallelism. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
| 2001 | Optimizing Compilation of Constraint Handling Rules. Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey |
| 2001 | PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2001 | Positive Boolean Functions as Multiheaded Clauses. Jacob M. Howe, Andy King |
| 2001 | Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
| 2001 | Probabilistic Databases and Logic Programming. V. S. Subrahmanian |
| 2001 | Proving Correctness and Completeness of Normal Programs - A Declarative Approach. Wlodzimierz Drabent, Miroslawa Milkowska |
| 2001 | Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. Nicolas Beldiceanu, Mats Carlsson |
| 2001 | Semantics of Normal Logic Programs with Embedded Implications. Fernando Orejas, Edelmira Pasarella, Elvira Pino |
| 2001 | Solving the Multiplication Constraint in Several Approximation Spaces. Alain Colmerauer |
| 2001 | Speculative Beats Conservative Justification. Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2001 | Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. Marc Denecker, Nikolay Pelov, Maurice Bruynooghe |
| 2001 | Understanding Memory Management in Prolog Systems. Luís Fernando Castro, Vítor Santos Costa |
| 2001 | X-tegration - Some Cross-Enterprise Thoughts. Ashish Gupta |