| 1994 | Proofs in Context. | Giuseppe Attardi, Maria Simi |
| 1994 | A Computational Account for a Description Logic of Time and Action. | Alessandro Artale, Enrico Franconi |
| 1992 | Stepwise-Decomposable Influence Diagrams. | Nevin Lianwen Zhang, David L. Poole |
| 1992 | Intelligent Backtracking Techniques for Job Shop Scheduling. | Yalin Xiong, Norman M. Sadeh, Katia P. Sycara |
| 1992 | Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. | Robert A. Weida, Diane J. Litman |
| 1992 | Computing Knowledge Base Updates. | Alvaro del Val |
| 1992 | An Architecture for Integrating Reasoning Paradigms. | James M. Skinner, George F. Luger |
| 1992 | RS Theory: A Really Skeptical Theory of Inheritance with Exceptions. | Genevive Simonet |
| 1992 | Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report). | Yoav Shoham, Moshe Tennenholtz |
| 1992 | Bounding Introspection in Nonmonotonic Logic. | Grigori Schwarz |
| 1992 | Managing Disjunction for Practical Temporal Reasoning. | Robert Schrag, Mark Boday, Jim Carciofini |
| 1992 | A Study in the Logic of Intention. | M. David Sadek |
| 1992 | Search through Systematic Set Enumeration. | Ron Rymon |
| 1992 | Representing Defaults as Sentences with Reduced Priority. | Mark Ryan |
| 1992 | Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. | Raymond Reiter |
| 1992 | An Abstract Architecture for Rational Agents. | Anand S. Rao, Michael P. Georgeff |
| 1992 | A Spatial Logic based on Regions and Connection. | David A. Randell, Zhan Cui, Anthony G. Cohn |
| 1992 | A Minimality Maintenance System. | Olivier Raiman, Johan de Kleer |
| 1992 | A Preference Semantics for Defaults in Terminological Logics. | Joachim Quantz, Vronique Royer |
| 1992 | Conversational Events and Discourse State Change: A Preliminary Report. | Massimo Poesio |
| 1992 | Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict. | Gadi Pinkas, Ronald Prescott Loui |
| 1992 | UCPOP: A Sound, Complete, Partial Order Planner for ADL. | J. Scott Penberthy, Daniel S. Weld |
| 1992 | The DARPA Knowledge Sharing Effort: A Progress Report. | Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches |
| 1992 | On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. | Ilkka Niemel, Jussi Rintanen |
| 1992 | Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation. | Hwee Tou Ng, Raymond J. Mooney |