| 2000 | 'On Being Informed': Update Logics for Knowledge States. Johan van Benthem |
| 2000 | A Compilation of Brewka and Eiter's Approach to Prioritization. James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2000 | A Framework for Belief Update. Paolo Liberatore |
| 2000 | A General Approach to Multi-agent Minimal Knowledge. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
| 2000 | A Logic for Modeling Decision Making with Dynamic Preferences. Marina De Vos, Dirk Vermeir |
| 2000 | A Modal Logic for Network Topologies. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2000 | Acceptance Without Minimality. Abhaya C. Nayak |
| 2000 | An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. Antonio Frias Delgado, Jose Antonio Jimenez Millan |
| 2000 | An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. Ofer Arieli |
| 2000 | Avoiding Logical Omniscience by Using Subjective Situations. Antonio Moreno, Ulises Cortés, Ton Sales |
| 2000 | Capturing Stationary and Regular Extensions with Reiter's Extensions. Tomi Janhunen |
| 2000 | Considerations on Updates of Logic Programs. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2000 | Credulous and Sceptical Argument Games for Preferred Semantics. Gerard Vreeswijk, Henry Prakken |
| 2000 | Declarative Formalization of Strategies for Action Selection: Applications to Planning. Josefina Sierra-Santibáñez |
| 2000 | Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Carlos Viegas Damásio, Luís Moniz Pereira |
| 2000 | Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira |
| 2000 | Monodic Epistemic Predicate Logic. Holger Sturm, Frank Wolter, Michael Zakharyaschev |
| 2000 | Multi-agent VSK Logic. Michael J. Wooldridge, Alessio Lomuscio |
| 2000 | New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. Thomas Eiter, Thomas Lukasiewicz |
| 2000 | On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. Henry Prakken |
| 2000 | Partially Adaptive Code Trees. Alexandre Riazanov, Andrei Voronkov |
| 2000 | Reduction Theorems for Boolean Formulas Using Delta-Trees. Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde |
| 2000 | Representing the Process Semantics in the Event Calculus. Chunping Li |
| 2000 | Semi-qualitative Reasoning about Distances: A Preliminary Report. Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2000 | Simultaneous Rigid Sorted Unification. Pedro J. Martín, Antonio Gavilanes |
| 2000 | The KeY Approach: Integrating Object Oriented Design and Formal Verification. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt |
| 2000 | Topo-distance: Measuring the Difference between Spatial Patterns. Marco Aiello |
| 2000 | Updates plus Preferences. José Júlio Alferes, Luís Moniz Pereira |