| 1992 | Asking About Possibilities - Revision and Update Semantics for Subjunctive Queries. | Wolfgang Nejdl, Markus Banagl |
| 1992 | Order of Magnitude Reasoning using Logarithms. | P. Pandurang Nayak |
| 1992 | Reasoning with Analogical Representations. | Karen L. Myers, Kurt Konolige |
| 1992 | Total Order vs. Partial Order Planning: Factors Influencing Performance. | Steven Minton, Mark Drummond, John L. Bresina, Andrew B. Philips |
| 1992 | Reasoning About Indefinite Actions. | L. Thorne McCarty, Ron van der Meyden |
| 1992 | Knowledge Representation Requirements for Description-Based Communication. | Anthony S. Maida |
| 1992 | A Contraction Operator For Classical Propositional Logic. | Timothy M. Lownie |
| 1992 | Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). | Vladimir Lifschitz, Thomas Y. C. Woo |
| 1992 | A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover. | Philippe Lamarre |
| 1992 | All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). | Gerhard Lakemeyer |
| 1992 | Dense Time and Temporal Constraints with !=. | Manolis Koubarakis |
| 1992 | Using Default and Causal Reasoning in Diagnosis. | Kurt Konolige |
| 1992 | A Logic for Approximate Reasoning. | Daphne Koller, Joseph Y. Halpern |
| 1992 | Knowledge Representation and Incorporation in a Hybrid System with Feedback. | Yeona Jang |
| 1992 | A General Semantic Model of Negation in Natural Language: Representation and Inference. | Lucja Iwanska |
| 1992 | Specifying Role Interaction in Concept Languages. | Philipp Hanschke |
| 1992 | Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals. | Peter Haddawy, Steve Hanks |
| 1992 | A Reactive Planner that Uses Explanation Closure. | Andrew R. Haas |
| 1992 | Semantics for Knowledge and Communication. | Adam J. Grove |
| 1992 | Learning Useful Horn Approximations. | Russell Greiner, Dale Schuurmans |
| 1992 | Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions. | Moiss Goldszmidt, Judea Pearl |
| 1992 | New Results on Local Inference Relations. | Robert Givan, David A. McAllester |
| 1992 | Declarative Knowledge Representation in Planning and Scheduling. | Jacek Gibert |
| 1992 | Quantifier Elimination in Second-Order Predicate Logic. | Dov M. Gabbay, Hans Jrgen Ohlbach |
| 1992 | Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems. | Gerhard Friedrich, Wolfgang Nejdl |