| 2002 | A Different Look at Garbage Collection for the WAM. Bart Demoen |
| 2002 | A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. Gérard Ferrand, Arnaud Lallouet |
| 2002 | A Logic-Based System for Application Integration. Tamás Benkö, Péter Krauth, Péter Szeredi |
| 2002 | A Model Theoretic Semantics for Multi-level Secure Deductive Databases. Hasan M. Jamil, Gillian Dobbie |
| 2002 | A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2002 | A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming. Brigitte Pientka |
| 2002 | A Purely Logical Account of Sequentiality in Proof Search. Paola Bruscoli |
| 2002 | A Rewriting Method for Well-Founded Semantics with Explicit Negation. Pedro Cabalar |
| 2002 | Access Control for Deductive Databases by Logic Programming. Steve Barker |
| 2002 | An Abductive Approach for Analysing Event-Based Requirements Specifications. Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer |
| 2002 | Automated Analysis of CLP(FD) Program Execution Traces. Mireille Ducassé, Ludovic Langevine |
| 2002 | Computing Stable Models: Worst-Case Performance Estimates. Zbigniew Lonc, Miroslaw Truszczynski |
| 2002 | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
| 2002 | Copying Garbage Collection for the WAM: To Mark or Not to Mark? Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste |
| 2002 | Debugging in A-Prolog: A Logical Approach. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
| 2002 | Disjunctive Explanations. Katsumi Inoue, Chiaki Sakama |
| 2002 | Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | Embedding Defeasible Logic into Logic Programs. Grigoris Antoniou, Michael J. Maher |
| 2002 | Fuzzy Prolog: A Simple General Implementation Using CLP(R). Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández |
| 2002 | Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming. Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga |
| 2002 | Learning in Logic with RichProlog. Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan |
| 2002 | Logic Databases on the Semantic Web: Challenges and Opportunities. Stefan Decker |
| 2002 | Logic Programming for Software Engineering: A Second Chance. Kung-Kiu Lau, Michel Vanden Bossche |
| 2002 | Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings Peter J. Stuckey |
| 2002 | Logical Algorithms. Harald Ganzinger, David A. McAllester |
| 2002 | Logical Grammars Based on Constraint Handling Rules. Henning Christiansen |
| 2002 | Logical Loops. Joachim Schimpf |
| 2002 | Modelling Multi-agent Reactive Systems. Prahladavaradan Sampath |
| 2002 | Multi-adjoint Logic Programming: A Neural Net Approach. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
| 2002 | Non-uniform Hypothesis in Deductive Databases with Uncertainty. Yann Loyer, Umberto Straccia |
| 2002 | On Enabling the WAM with Region Support. Henning Makholm, Konstantinos Sagonas |
| 2002 | Probabilistic Finite Domains: A Brief Overview. Nicos Angelopoulos |
| 2002 | Propagation Completeness of Reactive Constraints. Michael J. Maher |
| 2002 | Proving the Equivalence of CLP Programs. Sorin Craciunescu |
| 2002 | Reasoning about Actions with CHRs and Finite Domain Constraints. Michael Thielscher |
| 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 | Schema-Based Transformations of Logic Programs in lambda-Prolog. Petr Olmer, Petr Stepánek |
| 2002 | TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. Emmanuel Coquery, François Fages |
| 2002 | The Limits of Horn Logic Programs. Shilong Ma, Yuefei Sui, Ke Xu |
| 2002 | Towards Local Search for Answer Sets. Yannis Dimopoulos, Andreas Sideris |
| 2002 | Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. François Bry, Sebastian Schaffert |
| 2002 | Trailing Analysis for HAL. Tom Schrijvers, Maria J. García de la Banda, Bart Demoen |
| 2002 | Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. Alexander Bockmayr, Arnaud Courtois |
| 2002 | Using Logic Programming to Detect Activities in Pervasive Healthcare. Henrik Bærbak Christensen |