| 2002 | Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2002 | Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. | Christoph Beierle, Gabriele Kern-Isberner |
| 2002 | A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. | Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev |
| 2002 | NoMoRe : Non-monotonic Reasoning with Logic Programs. | Christian Anger, Kathrin Konczak, Thomas Linke |
| 2002 | Interpolation Theorems for Nonmonotonic Reasoning Systems. | Eyal Amir |
| 2002 | An Argumentation Framework for Merging Conflicting Knowledge Bases. | Leila Amgoud, Simon Parsons |
| 2002 | A Compilation of Updates plus Preferences. | Jos Jlio Alferes, Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2002 | Evolving Logic Programs. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2002 | Paraconsistent Logic Programs. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2000 | Multi-agent VSK Logic. | Michael J. Wooldridge, Alessio Lomuscio |
| 2000 | Credulous and Sceptical Argument Games for Preferred Semantics. | Gerard Vreeswijk, Henry Prakken |
| 2000 | A Logic for Modeling Decision Making with Dynamic Preferences. | Marina De Vos, Dirk Vermeir |
| 2000 | Monodic Epistemic Predicate Logic. | Holger Sturm, Frank Wolter, Michael Zakharyaschev |
| 2000 | Semi-qualitative Reasoning about Distances: A Preliminary Report. | Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2000 | Declarative Formalization of Strategies for Action Selection: Applications to Planning. | Josefina Sierra-Santibez |
| 2000 | Partially Adaptive Code Trees. | Alexandre Riazanov, Andrei Voronkov |
| 2000 | On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. | Henry Prakken |
| 2000 | Acceptance Without Minimality. | Abhaya C. Nayak |
| 2000 | Avoiding Logical Omniscience by Using Subjective Situations. | Antonio Moreno, Ulises Corts, Ton Sales |
| 2000 | Simultaneous Rigid Sorted Unification. | Pedro J. Martn, Antonio Gavilanes |
| 2000 | A Framework for Belief Update. | Paolo Liberatore |
| 2000 | Representing the Process Semantics in the Event Calculus. | Chunping Li |
| 2000 | Capturing Stationary and Regular Extensions with Reiter's Extensions. | Tomi Janhunen |
| 2000 | A General Approach to Multi-agent Minimal Knowledge. | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
| 2000 | Reduction Theorems for Boolean Formulas Using Delta-Trees. | Gloria Gutirrez, Inman P. de Guzmn, Javier Martnez, Manuel Ojeda-Aciego, Agustn Valverde |