| 1998 | A Conditional Logic for Belief Revision. Laura Giordano, Valentina Gliozzi, Nicola Olivetti |
| 1998 | A Deduction Method Complete for Refutation and Finite Satisfiability. François Bry, Sunna Torge |
| 1998 | A Logic for Anytime Deduction and Anytime Compilation. Frédéric Koriche |
| 1998 | A Matrix Characterization for MELL. Heiko Mantel, Christoph Kreitz |
| 1998 | A Mechanised Proof System for Relation Algebra using Display Logic. Jeremy E. Dawson, Rajeev Goré |
| 1998 | A Resolution Calculus for Dynamic Semantics. Christof Monz, Maarten de Rijke |
| 1998 | Algorithms on Atomic Representations of Herbrand Models. Reinhard Pichler |
| 1998 | An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. Thomas Linke, Torsten Schaub |
| 1998 | Analysis of Distributed-Search Contraction-Based Strategies. Maria Paola Bonacina |
| 1998 | Combining Introspection and Communication with Rationality and Reactivity in Agents. Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni |
| 1998 | Disjunctive Logic Program = Horn Program + Control Program. Wenjin Lu, Ulrich Furbach |
| 1998 | Higher Order Generalization. Jianguo Lu, Masateru Harao, Masami Hagiya |
| 1998 | Implicates and Reduction Techniques for Temporal Logics. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
| 1998 | Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach |
| 1998 | Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal |
| 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 | Phased Labeled Logics of Conditional Goals. Leendert W. N. van der Torre |
| 1998 | Prohairetic Deontic Logic (PDL). Leendert W. N. van der Torre, Yao-Hua Tan |
| 1998 | Propositional Lower Bounds: Generalization and Algorithms. Marco Cadoli, Luigi Palopoli, Francesco Scarcello |
| 1998 | Relative Similarity Logics are Decidable: Reduction to FO Stéphane Demri, Beata Konikowska |
| 1998 | Requirement-Based Cooperative Theorem Proving. Dirk Fuchs |
| 1998 | Semantics of Partial-Order Programs. Mauricio Osorio |
| 1998 | The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. Erik Sandewall |
| 1998 | The Well-Founded Semantics Is the Principle of Inductive Definition. Marc Denecker |
| 1998 | Towards Inference and Computation Mobility: The Jinni Experiment. Paul Tarau |
| 1998 | Towards State Update Axioms: Reifying Successor State Axioms. Michael Thielscher |