| 2002 | Testing the Equivalence of Logic Programs under Stable Model Semantics. | Tomi Janhunen, Emilia Oikarinen |
| 2002 | Minimal Answer Computation and SOL. | Koji Iwanuma, Katsumi Inoue |
| 2002 | Axiomatising Nash-Consistent Coalition Logic. | Helle Hvid Hansen, Marc Pauly |
| 2002 | Argumentative Reasoning with ABEL. | Rolf Haenni |
| 2002 | Complexity and Algorithms for the Matching of Bag and Set Terms. | Gianluigi Greco, Ester Zumpano |
| 2002 | On Fibring Semantics for BDI Logics. | Guido Governatori, Vineet Padmanabhan, Abdul Sattar |
| 2002 | Dependent and Independent Variables in Propositional Satisfiability. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2002 | P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. | Rosalba Giugno, Thomas Lukasiewicz |
| 2002 | Towards a Conditional Logic of Actions and Causation. | Laura Giordano, Camilla Schwind |
| 2002 | LDL-M | Fosca Giannotti, Giuseppe Manco |
| 2002 | The USA-Advisor: A Case Study in Answer Set Programming. | Michael Gelfond |
| 2002 | Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. | Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | SMILES: A Multi-purpose Learning System. | Vicent Estruch, Csar Ferri, Jos Hernndez-Orallo, M. Jos Ramrez-Quintana |
| 2002 | A Qualitative Reasoning with Nuanced Information. | Mazen El-Sayed, Daniel Pacholczyk |
| 2002 | Hypergraph Transversal Computation and Related Problems in Logic and AI. | Thomas Eiter, Georg Gottlob |
| 2002 | The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | Answer Set Planning under Action Costs. | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | The aspps System. | Deborah East, Miroslaw Truszczynski |
| 2002 | Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. | Jrgen Dix, Hctor Muoz-Avila, Dana S. Nau, Lingling Zhang |
| 2002 | COBA: A Consistency-Based Belief Revision System. | James P. Delgrande, Aaron Hunter, Torsten Schaub |
| 2002 | Complexity of Multi-agent Systems Behavior. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev |
| 2002 | A Logic Programming Language for Multi-agent Systems. | Stefania Costantini, Arianna Tocchio |
| 2002 | A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
| 2002 | Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. | Gerhard Brewka, Ilkka Niemel, Tommi Syrjnen |
| 2002 | Towards Service Description Logics. | Piero A. Bonatti |