| 1998 | On Knowledge, Strings, and Paradoxes. | Manfred Kerber |
| 1998 | On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. | Tomi Janhunen |
| 1998 | Persistence and Minimality in Epistemic Logic. | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
| 1998 | Implicates and Reduction Techniques for Temporal Logics. | Inman P. de Guzmn, Manuel Ojeda-Aciego, Agustn Valverde |
| 1998 | A Conditional Logic for Belief Revision. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti |
| 1998 | Requirement-Based Cooperative Theorem Proving. | Dirk Fuchs |
| 1998 | The Well-Founded Semantics Is the Principle of Inductive Definition. | Marc Denecker |
| 1998 | Relative Similarity Logics are Decidable: Reduction to FO | Stphane Demri, Beata Konikowska |
| 1998 | Combining Introspection and Communication with Rationality and Reactivity in Agents. | Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni |
| 1998 | A Mechanised Proof System for Relation Algebra using Display Logic. | Jeremy E. Dawson, Rajeev Gor |
| 1998 | Propositional Lower Bounds: Generalization and Algorithms. | Marco Cadoli, Luigi Palopoli, Francesco Scarcello |
| 1998 | A Deduction Method Complete for Refutation and Finite Satisfiability. | Franois Bry, Sunna Torge |
| 1998 | Analysis of Distributed-Search Contraction-Based Strategies. | Maria Paola Bonacina |
| 1996 | Revising and Updating Using a Back-Up Semantics. | Cees Witteveen, Wiebe van der Hoek |
| 1996 | The Oz Programming Model. | Gert Smolka |
| 1996 | A Modal Action Logic Based Framework for Organization Specification and Analysis. | Filipe Santos, Jos Carmo |
| 1996 | Similarity Saturation for First Order Linear Temporal Logic with UNLESS. | Regimantas Pliuskevicius |
| 1996 | Modules and Specifications. | Vasco Pedro, Lus Monteiro |
| 1996 | An Algorithm for the Retrieval of Unifiers from Discrimination Trees. | Hans de Nivelle |
| 1996 | Semi-Representability of Default Theories in Rational Default Logic. | Artur Mikitiuk |
| 1996 | Logic Programming with Integrity Constraints. | Robert A. Kowalski |
| 1996 | Extensions for Open Default Theories via the Domain Closure Assumption. | Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin |
| 1996 | Ordering-Based Representations of Rational Inference. | Konstantinos Georgatos |
| 1996 | McCarthy's Idea. | Michael R. Genesereth |
| 1996 | Design and Implementation of Diagnostic Strategies Using Modal Logic. | Peter Frhlich, Wolfgang Nejdl, Michael Schroeder |