| 2002 | Schema-Based Transformations of Logic Programs in lambda-Prolog. | Petr Olmer, Petr Stepnek |
| 2002 | Multi-adjoint Logic Programming: A Neural Net Approach. | Jess Medina, Enrique Mrida Casermeiro, Manuel Ojeda-Aciego |
| 2002 | The Limits of Horn Logic Programs. | Shilong Ma, Yuefei Sui, Ke Xu |
| 2002 | Learning in Logic with RichProlog. | Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan |
| 2002 | On Enabling the WAM with Region Support. | Henning Makholm, Konstantinos Sagonas |
| 2002 | Propagation Completeness of Reactive Constraints. | Michael J. Maher |
| 2002 | Non-uniform Hypothesis in Deductive Databases with Uncertainty. | Yann Loyer, Umberto Straccia |
| 2002 | Computing Stable Models: Worst-Case Performance Estimates. | Zbigniew Lonc, Miroslaw Truszczynski |
| 2002 | Logic Programming for Software Engineering: A Second Chance. | Kung-Kiu Lau, Michel Vanden Bossche |
| 2002 | A Model Theoretic Semantics for Multi-level Secure Deductive Databases. | Hasan M. Jamil, Gillian Dobbie |
| 2002 | Disjunctive Explanations. | Katsumi Inoue, Chiaki Sakama |
| 2002 | Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming. | Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga |
| 2002 | Logical Algorithms. | Harald Ganzinger, David A. McAllester |
| 2002 | A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. | Grard Ferrand, Arnaud Lallouet |
| 2002 | Automated Analysis of CLP(FD) Program Execution Traces. | Mireille Ducass, Ludovic Langevine |
| 2002 | Towards Local Search for Answer Sets. | Yannis Dimopoulos, Andreas Sideris |
| 2002 | Copying Garbage Collection for the WAM: To Mark or Not to Mark? | Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste |
| 2002 | A Different Look at Garbage Collection for the WAM. | Bart Demoen |
| 2002 | Logic Databases on the Semantic Web: Challenges and Opportunities. | Stefan Decker |
| 2002 | Proving the Equivalence of CLP Programs. | Sorin Craciunescu |
| 2002 | TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. | Emmanuel Coquery, Franois Fages |
| 2002 | Logical Grammars Based on Constraint Handling Rules. | Henning Christiansen |
| 2002 | Using Logic Programming to Detect Activities in Pervasive Healthcare. | Henrik Brbak Christensen |
| 2002 | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. | Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
| 2002 | A Rewriting Method for Well-Founded Semantics with Explicit Negation. | Pedro Cabalar |