| 2000 | New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. | Thomas Eiter, Thomas Lukasiewicz |
| 2000 | Considerations on Updates of Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2000 | A Modal Logic for Network Topologies. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2000 | A Compilation of Brewka and Eiter's Approach to Prioritization. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2000 | An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. | Antonio Frias Delgado, Jose Antonio Jimenez Millan |
| 2000 | Hybrid Probabilistic Logic Programs as Residuated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 2000 | 'On Being Informed': Update Logics for Knowledge States. | Johan van Benthem |
| 2000 | An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. | Ofer Arieli |
| 2000 | Updates plus Preferences. | Jos Jlio Alferes, Lus Moniz Pereira |
| 2000 | Topo-distance: Measuring the Difference between Spatial Patterns. | Marco Aiello |
| 2000 | The KeY Approach: Integrating Object Oriented Design and Formal Verification. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Peter H. Schmitt |
| 1998 | Prohairetic Deontic Logic (PDL). | Leendert W. N. van der Torre, Yao-Hua Tan |
| 1998 | Phased Labeled Logics of Conditional Goals. | Leendert W. N. van der Torre |
| 1998 | Towards State Update Axioms: Reifying Successor State Axioms. | Michael Thielscher |
| 1998 | Towards Inference and Computation Mobility: The Jinni Experiment. | Paul Tarau |
| 1998 | The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. | Erik Sandewall |
| 1998 | Algorithms on Atomic Representations of Herbrand Models. | Reinhard Pichler |
| 1998 | Semantics of Partial-Order Programs. | Mauricio Osorio |
| 1998 | A Resolution Calculus for Dynamic Semantics. | Christof Monz, Maarten de Rijke |
| 1998 | A Matrix Characterization for MELL. | Heiko Mantel, Christoph Kreitz |
| 1998 | Higher Order Generalization. | Jianguo Lu, Masateru Harao, Masami Hagiya |
| 1998 | Disjunctive Logic Program = Horn Program + Control Program. | Wenjin Lu, Ulrich Furbach |
| 1998 | An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. | Thomas Linke, Torsten Schaub |
| 1998 | Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. | Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal |
| 1998 | A Logic for Anytime Deduction and Anytime Compilation. | Frdric Koriche |