| 1998 | Formal Theory Building Using Automated Reasoning Tools. | Jaap Kamps |
| 1998 | Reasoning About Infinite Random Structures with Relational Bayesian Networks. | Manfred Jaeger |
| 1998 | Specifying Transactions for Extended Abduction. | Katsumi Inoue, Chiaki Sakama |
| 1998 | Using an Expressive Description Logic: FaCT or Fiction? | Ian Horrocks |
| 1998 | Geometric Foundations for Interval-Based Probabilities. | Vu A. Ha, Peter Haddawy |
| 1998 | Foundations of Spatioterminological Reasoning with Description Logics. | Volker Haarslev, Carsten Lutz, Ralf Mller |
| 1998 | More Evaluation of Decision Procedures for Modal Logics. | Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |
| 1998 | Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. | Fausto Giunchiglia, Chiara Ghidini |
| 1998 | Execution Monitoring of High-Level Robot Programs. | Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski |
| 1998 | Comparing Consequence Relations. | Peter A. Flach |
| 1998 | The KR System dlv: Progress Report, Comparisons and Benchmarks. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1998 | Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision. | Didier Dubois, Llus Godo, Henri Prade, Adriana Zapico |
| 1998 | Undecidability of Plane Polygonal Mereotopology. | Christoph Dornheim |
| 1998 | The PMA and Relativizing Minimal Change for Action Update. | Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1998 | Compiling Devices: A Structure-Based Approach. | Adnan Darwiche |
| 1998 | Quantifiers and Operations on Modalities and Contexts. | Tom Costello, Anna Patterson |
| 1998 | Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. | Michel Chein, Marie-Laure Mugnier, Genevive Simonet |
| 1998 | The Complexity of Model Checking in Modal Event Calculi with Quantifiers. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1998 | Description Logic Framework for Information Integration. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati |
| 1998 | Disjunctive Ordered Logic: Semantics and Expressiveness. | Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
| 1998 | Preferred Answer Sets for Extended Logic Programs. | Gerhard Brewka, Thomas Eiter |
| 1998 | A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. | Stefan Brass, Jrgen Dix, Ilkka Niemel, Teodor C. Przymusinski |
| 1998 | Modal Semantics for Knowledge Bases Dealing with Vague Concepts. | Brandon Bennett |
| 1998 | A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases. | Salem Benferhat, Didier Dubois, Jrme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets |
| 1998 | A Model for Reasoning about Bidemsional Temporal Relations. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro |