| 2004 | SATMC: A SAT-Based Model Checker for Security Protocols. | Alessandro Armando, Luca Compagna |
| 2004 | Discovering Anomalies in Evidential Knowledge by Logic Programming. | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli |
| 2004 | Verdi: An Automated Tool for Web Sites Verification. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2004 | Modelling Communicating Agents in Timed Reasoning Logics. | Natasha Alechina, Brian Logan, Mark Whitsey |
| 2002 | Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. | Dongmo Zhang, Norman Y. Foo |
| 2002 | A Modal Formulation of McCain and Turner's Theory of Causal Reasoning. | Graham White |
| 2002 | Representing Possibilities in Relation to Constraints and Agents. | Richard J. Wallace |
| 2002 | Alternation. | Moshe Y. Vardi |
| 2002 | Polynomial-Length Planning Spans the Polynomial Hierarchy. | Hudson Turner |
| 2002 | A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. | Cesare Tinelli |
| 2002 | Second-Order Quantifier Elimination in Modal Contexts. | Andrzej Szalas |
| 2002 | Reasoning about Actions in Prioritized Default Theory. | Tran Cao Son, Enrico Pontelli |
| 2002 | Multi-agent Logics of Dynamic Belief and Knowledge. | Renate A. Schmidt, Dmitry Tishkovsky |
| 2002 | Process Miner - A Tool for Mining Process Schemes from Event-Based Data. | Guido Schimm |
| 2002 | An Abductive Logic Programming Architecture for Negotiating Agents. | Fariba Sadri, Francesca Toni, Paolo Torroni |
| 2002 | An Infinite-Valued Semantics for Logic Programs with Negation. | Panos Rondogiannis, William W. Wadge |
| 2002 | Preferred Answer Sets for Ordered Logic Programs. | Davy Van Nieuwenborgh, Dirk Vermeir |
| 2002 | Answer Set Programming by Ant Colony Optimization. | Pascal Nicolas, Frdric Saubion, Igor Stphan |
| 2002 | Decidability of Interval Temporal Logics over Split-Frames via Granularity. | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna |
| 2002 | Z-log: Applying System-Z. | Michael Minock, Hansi Kraus |
| 2002 | Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. | Yann Loyer, Umberto Straccia |
| 2002 | More on noMoRe. | Thomas Linke, Christian Anger, Kathrin Konczak |
| 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 | Non-commutativity and Expressive Deductive Logic Databases. | Stanislav Krajci, Rastislav Lencses, Jess Medina, Manuel Ojeda-Aciego, Agustn Valverde, Peter Vojts |
| 2002 | Three-Valued Logics for Inconsistency Handling. | Sbastien Konieczny, Pierre Marquis |