| 2002 | Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. | Franois Bry, Sebastian Schaffert |
| 2002 | A Purely Logical Account of Sequentiality in Proof Search. | Paola Bruscoli |
| 2002 | Reasoning with Infinite Stable Models II: Disjunctive Programs. | Piero A. Bonatti |
| 2002 | Representing Arithmetic Constraints with Finite Automata: An Overview. | Bernard Boigelot, Pierre Wolper |
| 2002 | Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. | Alexander Bockmayr, Arnaud Courtois |
| 2002 | A Logic-Based System for Application Integration. | Tams Benk, Pter Krauth, Pter Szeredi |
| 2002 | Access Control for Deductive Databases by Logic Programming. | Steve Barker |
| 2002 | Embedding Defeasible Logic into Logic Programs. | Grigoris Antoniou, Michael J. Maher |
| 2002 | Probabilistic Finite Domains: A Brief Overview. | Nicos Angelopoulos |
| 2001 | Building Real-Life Applications with Prolog. | Jan Wielemaker |
| 2001 | PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2001 | A Close Look at Constraint-Based Concurrency. | Kazunori Ueda |
| 2001 | Probabilistic Databases and Logic Programming. | V. S. Subrahmanian |
| 2001 | On a Tabling Engine That Can Exploit Or-Parallelism. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 2001 | Semantics of Normal Logic Programs with Embedded Implications. | Fernando Orejas, Edelmira Pasarella, Elvira Pino |
| 2001 | A Multi-adjoint Logic Approach to Abductive Reasoning. | Jess Medina, Manuel Ojeda-Aciego, Peter Vojts |
| 2001 | Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. | Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
| 2001 | Fixed-Parameter Complexity of Semantics for Logic Programs. | Zbigniew Lonc, Miroslaw Truszczynski |
| 2001 | Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. | K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka |
| 2001 | Is Logic Really Dead or Only Just Sleeping? | Robert A. Kowalski |
| 2001 | An Order-Sorted Resolution with Implicitly Negative Sorts. | Ken Kaneiwa, Satoshi Tojo |
| 2001 | Positive Boolean Functions as Multiheaded Clauses. | Jacob M. Howe, Andy King |
| 2001 | Optimizing Compilation of Constraint Handling Rules. | Christian Holzbaur, Maria J. Garca de la Banda, David Jeffery, Peter J. Stuckey |
| 2001 | X-tegration - Some Cross-Enterprise Thoughts. | Ashish Gupta |
| 2001 | Speculative Beats Conservative Justification. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |