| 1992 | Focusing on Independent Diagnosis Problems. | Hartmut Freitag, Gerhard Friedrich |
| 1992 | An Approach to Planning with Incomplete Information. | Oren Etzioni, Steve Hanks, Daniel S. Weld, Denise Draper, Neal Lesh, Mike Williamson |
| 1992 | Adding Epistemic Operators to Concept Languages. | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt |
| 1992 | A Framework for Representing and Characterizing Semantics of Logic Programs. | Jrgen Dix |
| 1992 | Accessibility in Logics of Explicit Belief. | James P. Delgrande |
| 1992 | Axiomatizing Qualitative Process Theory. | Ernest Davis |
| 1992 | Infinite Loops in Finite Time: Some Observations. | Ernest Davis |
| 1992 | Tractable Deduction in Knowledge Representation Systems. | Mukesh Dalal |
| 1992 | On the Connection between Non-monotonic Inference Systems and Conditional Logics. | Gabriella Crocco, Philippe Lamarre |
| 1992 | A Temporal Revision Model for Reasoning about World Change. | Marie-Odile Cordier, Pierre Siegel |
| 1992 | Concurrency Control for Knowledge Bases. | Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos |
| 1992 | Approximation in Concept Description Languages. | Marco Cadoli, Marco Schaerf |
| 1992 | "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. | Ronald J. Brachman |
| 1992 | Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test. | Craig Boutilier |
| 1992 | Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. | Alexander Borgida |
| 1992 | An Order-Sorted Logic with Sort Literals and Disjointness Constraints. | Toni Bollinger, Udo Pletat |
| 1992 | Representing Default Rules in Possibilistic Logic. | Salem Benferhat, Didier Dubois, Henri Prade |
| 1992 | Equivalence and Tractability Results for SAS+ Planning. | Christer Bckstrm |
| 1992 | An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. | Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jrgen Profitlich, Enrico Franconi |
| 1992 | Embedding Defaults into Terminological Knowledge Representation Formalisms. | Franz Baader, Bernhard Hollunder |
| 1992 | Maps Between Nonmonotonic and Conditional Logic. | Horacio L. Arl-Costa, Scott J. Shapiro |
| 1991 | Skeptical Reason Maintenance is Tractable. | Cees Witteveen |
| 1991 | The Ontology and Representation of Situations. | Robert Wilensky |
| 1991 | Qualitative Intercausal Relations, or Explaining "Explaining Away". | Michael P. Wellman, Max Henrion |
| 1991 | Qualitative Simulation with Multivariate Constraints. | Michael P. Wellman |