| 1992 | "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Ronald J. Brachman |
| 1992 | A Contraction Operator For Classical Propositional Logic. Timothy M. Lownie |
| 1992 | A Framework for Representing and Characterizing Semantics of Logic Programs. Jürgen Dix |
| 1992 | A General Semantic Model of Negation in Natural Language: Representation and Inference. Lucja Iwanska |
| 1992 | A Logic for Approximate Reasoning. Daphne Koller, Joseph Y. Halpern |
| 1992 | A Minimality Maintenance System. Olivier Raiman, Johan de Kleer |
| 1992 | A Preference Semantics for Defaults in Terminological Logics. Joachim Quantz, Véronique Royer |
| 1992 | A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover. Philippe Lamarre |
| 1992 | A Reactive Planner that Uses Explanation Closure. Andrew R. Haas |
| 1992 | A Spatial Logic based on Regions and Connection. David A. Randell, Zhan Cui, Anthony G. Cohn |
| 1992 | A Study in the Logic of Intention. M. David Sadek |
| 1992 | A Temporal Revision Model for Reasoning about World Change. Marie-Odile Cordier, Pierre Siegel |
| 1992 | Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation. Hwee Tou Ng, Raymond J. Mooney |
| 1992 | Accessibility in Logics of Explicit Belief. James P. Delgrande |
| 1992 | Adding Epistemic Operators to Concept Languages. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt |
| 1992 | All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). Gerhard Lakemeyer |
| 1992 | An Abstract Architecture for Rational Agents. Anand S. Rao, Michael P. Georgeff |
| 1992 | An Approach to Planning with Incomplete Information. Oren Etzioni, Steve Hanks, Daniel S. Weld, Denise Draper, Neal Lesh, Mike Williamson |
| 1992 | An Architecture for Integrating Reasoning Paradigms. James M. Skinner, George F. Luger |
| 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-Jürgen Profitlich, Enrico Franconi |
| 1992 | An Order-Sorted Logic with Sort Literals and Disjointness Constraints. Toni Bollinger, Udo Pletat |
| 1992 | Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). Vladimir Lifschitz, Thomas Y. C. Woo |
| 1992 | Approximation in Concept Description Languages. Marco Cadoli, Marco Schaerf |
| 1992 | Asking About Possibilities - Revision and Update Semantics for Subjunctive Queries. Wolfgang Nejdl, Markus Banagl |
| 1992 | Axiomatizing Qualitative Process Theory. Ernest Davis |
| 1992 | Bounding Introspection in Nonmonotonic Logic. Grigori Schwarz |
| 1992 | Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems. Gerhard Friedrich, Wolfgang Nejdl |
| 1992 | Computing Knowledge Base Updates. Alvaro del Val |
| 1992 | Concurrency Control for Knowledge Bases. Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos |
| 1992 | Conversational Events and Discourse State Change: A Preliminary Report. Massimo Poesio |
| 1992 | Declarative Knowledge Representation in Planning and Scheduling. Jacek Gibert |
| 1992 | Dense Time and Temporal Constraints with !=. Manolis Koubarakis |
| 1992 | Embedding Defaults into Terminological Knowledge Representation Formalisms. Franz Baader, Bernhard Hollunder |
| 1992 | Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report). Yoav Shoham, Moshe Tennenholtz |
| 1992 | Equivalence and Tractability Results for SAS+ Planning. Christer Bäckström |
| 1992 | Focusing on Independent Diagnosis Problems. Hartmut Freitag, Gerhard Friedrich |
| 1992 | Infinite Loops in Finite Time: Some Observations. Ernest Davis |
| 1992 | Intelligent Backtracking Techniques for Job Shop Scheduling. Yalin Xiong, Norman M. Sadeh, Katia P. Sycara |
| 1992 | Knowledge Representation Requirements for Description-Based Communication. Anthony S. Maida |
| 1992 | Knowledge Representation and Incorporation in a Hybrid System with Feedback. Yeona Jang |
| 1992 | Learning Useful Horn Approximations. Russell Greiner, Dale Schuurmans |
| 1992 | Managing Disjunction for Practical Temporal Reasoning. Robert Schrag, Mark Boday, Jim Carciofini |
| 1992 | Maps Between Nonmonotonic and Conditional Logic. Horacio L. Arló-Costa, Scott J. Shapiro |
| 1992 | New Results on Local Inference Relations. Robert Givan, David A. McAllester |
| 1992 | Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test. Craig Boutilier |
| 1992 | On the Connection between Non-monotonic Inference Systems and Conditional Logics. Gabriella Crocco, Philippe Lamarre |
| 1992 | On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. Ilkka Niemelä, Jussi Rintanen |
| 1992 | Order of Magnitude Reasoning using Logarithms. P. Pandurang Nayak |
| 1992 | Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992. Bernhard Nebel, Charles Rich, William R. Swartout |
| 1992 | Quantifier Elimination in Second-Order Predicate Logic. Dov M. Gabbay, Hans Jürgen Ohlbach |
| 1992 | RS Theory: A Really Skeptical Theory of Inheritance with Exceptions. Geneviève Simonet |
| 1992 | Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions. Moisés Goldszmidt, Judea Pearl |
| 1992 | Reasoning About Indefinite Actions. L. Thorne McCarty, Ron van der Meyden |
| 1992 | Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict. Gadi Pinkas, Ronald Prescott Loui |
| 1992 | Reasoning with Analogical Representations. Karen L. Myers, Kurt Konolige |
| 1992 | Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals. Peter Haddawy, Steve Hanks |
| 1992 | Representing Default Rules in Possibilistic Logic. Salem Benferhat, Didier Dubois, Henri Prade |
| 1992 | Representing Defaults as Sentences with Reduced Priority. Mark Ryan |
| 1992 | Search through Systematic Set Enumeration. Ron Rymon |
| 1992 | Semantics for Knowledge and Communication. Adam J. Grove |
| 1992 | Specifying Role Interaction in Concept Languages. Philipp Hanschke |
| 1992 | Stepwise-Decomposable Influence Diagrams. Nevin Lianwen Zhang, David L. Poole |
| 1992 | Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. Robert A. Weida, Diane J. Litman |
| 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 | Total Order vs. Partial Order Planning: Factors Influencing Performance. Steven Minton, Mark Drummond, John L. Bresina, Andrew B. Philips |
| 1992 | Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. Alexander Borgida |
| 1992 | Tractable Deduction in Knowledge Representation Systems. Mukesh Dalal |
| 1992 | Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. Raymond Reiter |
| 1992 | UCPOP: A Sound, Complete, Partial Order Planner for ADL. J. Scott Penberthy, Daniel S. Weld |
| 1992 | Using Default and Causal Reasoning in Diagnosis. Kurt Konolige |