| 2002 | A Compilation of Updates plus Preferences. José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira |
| 2002 | A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. Cesare Tinelli |
| 2002 | A Logic Programming Language for Multi-agent Systems. Stefania Costantini, Arianna Tocchio |
| 2002 | A Modal Formulation of McCain and Turner's Theory of Causal Reasoning. Graham White |
| 2002 | A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
| 2002 | A Qualitative Reasoning with Nuanced Information. Mazen El-Sayed, Daniel Pacholczyk |
| 2002 | A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev |
| 2002 | Alternation. Moshe Y. Vardi |
| 2002 | An Abductive Logic Programming Architecture for Negotiating Agents. Fariba Sadri, Francesca Toni, Paolo Torroni |
| 2002 | An Argumentation Framework for Merging Conflicting Knowledge Bases. Leila Amgoud, Simon Parsons |
| 2002 | An Infinite-Valued Semantics for Logic Programs with Negation. Panos Rondogiannis, William W. Wadge |
| 2002 | Answer Set Planning under Action Costs. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | Answer Set Programming by Ant Colony Optimization. Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
| 2002 | Argumentative Reasoning with ABEL. Rolf Haenni |
| 2002 | Axiomatising Nash-Consistent Coalition Logic. Helle Hvid Hansen, Marc Pauly |
| 2002 | COBA: A Consistency-Based Belief Revision System. James P. Delgrande, Aaron Hunter, Torsten Schaub |
| 2002 | Complexity and Algorithms for the Matching of Bag and Set Terms. Gianluigi Greco, Ester Zumpano |
| 2002 | Complexity of Multi-agent Systems Behavior. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev |
| 2002 | Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | Decidability of Interval Temporal Logics over Split-Frames via Granularity. Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna |
| 2002 | Dependent and Independent Variables in Propositional Satisfiability. Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2002 | Evolving Logic Programs. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
| 2002 | Hypergraph Transversal Computation and Related Problems in Logic and AI. Thomas Eiter, Georg Gottlob |
| 2002 | Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen |
| 2002 | Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. Dongmo Zhang, Norman Y. Foo |
| 2002 | Interpolation Theorems for Nonmonotonic Reasoning Systems. Eyal Amir |
| 2002 | LDL-M Fosca Giannotti, Giuseppe Manco |
| 2002 | Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni |
| 2002 | Minimal Answer Computation and SOL. Koji Iwanuma, Katsumi Inoue |
| 2002 | More on noMoRe. Thomas Linke, Christian Anger, Kathrin Konczak |
| 2002 | Multi-agent Logics of Dynamic Belief and Knowledge. Renate A. Schmidt, Dmitry Tishkovsky |
| 2002 | NoMoRe : Non-monotonic Reasoning with Logic Programs. Christian Anger, Kathrin Konczak, Thomas Linke |
| 2002 | Non-commutativity and Expressive Deductive Logic Databases. Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás |
| 2002 | On Fibring Semantics for BDI Logics. Guido Governatori, Vineet Padmanabhan, Abdul Sattar |
| 2002 | P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. Rosalba Giugno, Thomas Lukasiewicz |
| 2002 | Paraconsistent Logic Programs. João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
| 2002 | Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2002 | Polynomial-Length Planning Spans the Polynomial Hierarchy. Hudson Turner |
| 2002 | Preferred Answer Sets for Ordered Logic Programs. Davy Van Nieuwenborgh, Dirk Vermeir |
| 2002 | Process Miner - A Tool for Mining Process Schemes from Event-Based Data. Guido Schimm |
| 2002 | Reasoning about Actions in Prioritized Default Theory. Tran Cao Son, Enrico Pontelli |
| 2002 | Representing Possibilities in Relation to Constraints and Agents. Richard J. Wallace |
| 2002 | SMILES: A Multi-purpose Learning System. Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
| 2002 | Second-Order Quantifier Elimination in Modal Contexts. Andrzej Szalas |
| 2002 | Testing the Equivalence of Logic Programs under Stable Model Semantics. Tomi Janhunen, Emilia Oikarinen |
| 2002 | The DLV Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | The DLV System. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres |
| 2002 | The USA-Advisor: A Case Study in Answer Set Programming. Michael Gelfond |
| 2002 | The aspps System. Deborah East, Miroslaw Truszczynski |
| 2002 | Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang |
| 2002 | Three-Valued Logics for Inconsistency Handling. Sébastien Konieczny, Pierre Marquis |
| 2002 | Towards Service Description Logics. Piero A. Bonatti |
| 2002 | Towards a Conditional Logic of Actions and Causation. Laura Giordano, Camilla Schwind |
| 2002 | Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. Yann Loyer, Umberto Straccia |
| 2002 | Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. Christoph Beierle, Gabriele Kern-Isberner |
| 2002 | Z-log: Applying System-Z. Michael Minock, Hansi Kraus |