| 1998 | A Canonical Model of the Region Connection Calculus. Jochen Renz |
| 1998 | A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski |
| 1998 | A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. Hector J. Levesque |
| 1998 | A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases. Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets |
| 1998 | A Model for Reasoning about Bidemsional Temporal Relations. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro |
| 1998 | A Planning Algorithm not based on Directional Search. Jussi Rintanen |
| 1998 | A Qualitative Theory of Motion Based on Spatio-Temporal Primitives. Philippe Muller |
| 1998 | A Strategy for Revising Default Theory Extensions. Mary-Anne Williams, Grigoris Antoniou |
| 1998 | A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning. Inderjeet Mani |
| 1998 | AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. Gerhard Lakemeyer, Hector J. Levesque |
| 1998 | Anything Can Happen: On Narratives and Hypothetical Reasoning. Lars Karlsson |
| 1998 | Building Models of Prediction Theories. Graham White, John Bell, Wilfried Hodges |
| 1998 | Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. Ralf Küsters |
| 1998 | Combining Narratives. John McCarthy, Tom Costello |
| 1998 | Comparing Consequence Relations. Peter A. Flach |
| 1998 | Compiling Devices: A Structure-Based Approach. Adnan Darwiche |
| 1998 | Complexity Results for Independence and Definability in Propositional Logic. Jérôme Lang, Pierre Marquis |
| 1998 | Concurrent Actions and Interacting Effects. Javier Pinto |
| 1998 | Description Logic Framework for Information Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati |
| 1998 | Description Logics and their Applications. Maurizio Lenzerini |
| 1998 | Disjunctive Ordered Logic: Semantics and Expressiveness. Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
| 1998 | Dynamic Logic Programming. José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
| 1998 | Encoding Planning Constraints into Partial Order Planners. Marco Baioletti, Stefano Marcugini, Alfredo Milani |
| 1998 | Execution Monitoring of High-Level Robot Programs. Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski |
| 1998 | Explanatory Diagnosis: Conjecturing Actions to Explain Observations. Sheila A. McIlraith |
| 1998 | Formal Theory Building Using Automated Reasoning Tools. Jaap Kamps |
| 1998 | Foundations of Spatioterminological Reasoning with Description Logics. Volker Haarslev, Carsten Lutz, Ralf Möller |
| 1998 | Geometric Foundations for Interval-Based Probabilities. Vu A. Ha, Peter Haddawy |
| 1998 | How (Not) To Minimize Events. Michael Thielscher |
| 1998 | How to Tailor Representations to Different Requirements. Katharina Morik |
| 1998 | Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Fausto Giunchiglia, Chiara Ghidini |
| 1998 | Logic Based Modelling of Goal-Directed Behavior. Erik Sandewall |
| 1998 | Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision. Didier Dubois, Lluís Godo, Henri Prade, Adriana Zapico |
| 1998 | Modal Semantics for Knowledge Bases Dealing with Vague Concepts. Brandon Bennett |
| 1998 | Modeling an Agent's Incomplete Knowledge During Planning and During Execution. Fahiem Bacchus, Ronald P. A. Petrick |
| 1998 | More Evaluation of Decision Procedures for Modal Logics. Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |
| 1998 | Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. Michel Chein, Marie-Laure Mugnier, Geneviève Simonet |
| 1998 | On Measuring Plan Quality (A Preliminary Report). Fangzhen Lin |
| 1998 | On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc. Paolo Liberatore |
| 1998 | On the Decidability of Description Logics with Modal Operators. Frank Wolter, Michael Zakharyaschev |
| 1998 | On the Logic of Merging. Sébastien Konieczny, Ramón Pino Pérez |
| 1998 | Pointwise Circumscription Revisited. Eyal Amir |
| 1998 | Preferred Answer Sets for Extended Logic Programs. Gerhard Brewka, Thomas Eiter |
| 1998 | Probabilistic Deduction with Conditional Constraints over Basic Events. Thomas Lukasiewicz |
| 1998 | Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998. Anthony G. Cohn, Lenhart K. Schubert, Stuart C. Shapiro |
| 1998 | Quantifiers and Operations on Modalities and Contexts. Tom Costello, Anna Patterson |
| 1998 | Reasoning About Infinite Random Structures with Relational Bayesian Networks. Manfred Jaeger |
| 1998 | Reformulating Temporal Plans for Efficient Execution. Nicola Muscettola, Paul H. Morris, Ioannis Tsamardinos |
| 1998 | SYSTEM JZ - How to Build a Canonical Ranking Model of a Default Knowledge Base. Emil Weydert |
| 1998 | Satisfiability planning with Causal Theories. Norman McCain, Hudson Turner |
| 1998 | Sequential, Temporal GOLOG. Raymond Reiter |
| 1998 | Situation Calculus and Causal Logic. Vladimir Lifschitz |
| 1998 | Specifying Transactions for Extended Abduction. Katsumi Inoue, Chiaki Sakama |
| 1998 | The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1998 | The KR System dlv: Progress Report, Comparisons and Benchmarks. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1998 | The PMA and Relativizing Minimal Change for Action Update. Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1998 | Undecidability of Plane Polygonal Mereotopology. Christoph Dornheim |
| 1998 | Using an Expressive Description Logic: FaCT or Fiction? Ian Horrocks |
| 1998 | What Robots Can Do. Hector J. Levesque |