| 1991 | A Cognitively Plausible Approach to Understanding Complex Syntax. Claire Cardie, Wendy G. Lehnert |
| 1991 | A Critique of Yoav Shoham's Theory of Causal Reasoning. Antony Galton |
| 1991 | A Dynamic Organizational Architecture for Adaptive Problem Solving. Les Gasser, Toru Ishida |
| 1991 | A Logic and Time Nets for Probabilistic Inference. Keiji Kanazawa |
| 1991 | A Logic of Situated Know-How. Munindar P. Singh |
| 1991 | A New Admissible Heuristic for Minimal-Cost Proofs. Eugene Charniak, Saadia Husain |
| 1991 | A Probabilistic Model of Plan Recognition. Eugene Charniak, Robert P. Goldman |
| 1991 | A Tabular Method for Island-Driven Context-Free Grammar Parsing. Giorgio Satta, Oliviero Stock |
| 1991 | A Tool for Achieving Consensus in Knowledge Representation. Loren G. Terveen, David A. Wroblewski |
| 1991 | ACP: Reason Maintenance and Inference Control for Constraint Propagation Over Intervals. Walter Hamscher |
| 1991 | An Efficient First-Order Horn-Clause Abduction System Based on the ATMS. Hwee Tou Ng, Raymond J. Mooney |
| 1991 | An Indexing Vocabulary for Case-Based Explanation. David B. Leake |
| 1991 | Arc-Consistency in Dynamic Constraint Satisfaction Problems. Christian Bessière |
| 1991 | Automatic Generation of Formatted Text. Eduard H. Hovy, Yigal Arens |
| 1991 | CATMS: An ATMS Which Avoids Label Explosions. John W. Collins, Dennis DeCoste |
| 1991 | Combining Opinions About the Order of Rule Execution. Jeffrey A. Barnett |
| 1991 | Combining Qualitative and Quantitative Constraints in Temporal Reasoning. Itay Meiri |
| 1991 | Combining Specialized Reasoners and General Purpose Planners: A Case Study. Subbarao Kambhampati, Mark R. Cutkosky, Marty Tenenbaum, Soo Hong Lee |
| 1991 | Concept Languages as Query Languages. Maurizio Lenzerini, Andrea Schaerf |
| 1991 | Conditional Existence of Variables in Generalised Constraint Networks. James Bowen, Dennis R. Bahler |
| 1991 | Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief. John F. Lemmer, Henry E. Kyburg Jr. |
| 1991 | Context Maintenance. Charles J. Petrie |
| 1991 | Control Issues in Parallel Rule-Firing Production Systems. Daniel E. Neiman |
| 1991 | Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System. David Jerald Goldstone |
| 1991 | Deduction as Parsing: Tractable Classification in the KL-ONE Framework. Marc B. Vilain |
| 1991 | Default Logic, Propositional Logic, and Constraints. Rachel Ben-Eliyahu, Rina Dechter |
| 1991 | Default Reasoning From Statistics. Fahiem Bacchus |
| 1991 | Depth-First Versus Best-First Search. Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf |
| 1991 | Disambiguation of Prepositional Phrases in Automatically Labelled Technical Text. Lois C. Boggess, Rajeev Agarwal, Ron Davis |
| 1991 | Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System. Geneviéve Morgue, Thomas Chehire |
| 1991 | Eliminating Interchangeable Values in Constraint Satisfaction Problems. Eugene C. Freuder |
| 1991 | Explanation, Irrelevance, and Statistical Independence. Solomon Eyal Shimony |
| 1991 | FITS: A Fraction Intelligent Tutoring System. Hyacinth S. Nwana |
| 1991 | Formal Verification of Pure Production System Programs. Rose F. Gamble, Gruia-Catalin Roman, William E. Ball |
| 1991 | From Syntax to Meaning in Natural Language Processing. Alexander G. Hauptmann |
| 1991 | Generating Adjectives to Express the Speaker's Argumentative Intent. Michael Elhadad |
| 1991 | Generating Interactive Explanations. Alison Cawsey |
| 1991 | High Performance Memory-Based Translation on IXM2 Massively Parallel Associative Memory Processor. Hiroaki Kitano, Tetsuya Higuchi |
| 1991 | IXM2: A Parallel Associative Processor for Knowledge Processing. Tetsuya Higuchi, Hiroaki Kitano, Tatsumi Furuya, Ken'ichi Handa, Akio Kokubu, Naoto Takahashi |
| 1991 | Implementation of Multiple Rule Firing Production Systems on Hypercube. Steve Kuo, Dan I. Moldovan |
| 1991 | Improving Rule-Based Systems Through Case-Based Reasoning. Andrew R. Golding, Paul S. Rosenbloom |
| 1991 | Incorporating Nonmonotonic Reasoning in Horn Clause Theories. James P. Delgrande |
| 1991 | Indexing Stories as Social Advice. Eric A. Domeshek |
| 1991 | Integrating Metric and Qualitative Temporal Reasoning. Henry A. Kautz, Peter B. Ladkin |
| 1991 | Integrating Rules in Term Subsumption Knowledge Representation Servers. Brian R. Gaines |
| 1991 | Interpreting Prepositions Physically. Jugal K. Kalita, Norman I. Badler |
| 1991 | Is There any Need for Domain-Dependent Control Information? Matthew L. Ginsberg, Donald F. Geddis |
| 1991 | Learning Meta Knowledge for Database Checking. Jeffrey C. Schlimmer |
| 1991 | Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics. Ricardo Caferra, Stéphane Demri, Michel Herment |
| 1991 | Making Design Objects Relevant to the Task at Hand. Gerhard Fischer, Kumiyo Nakakoji |
| 1991 | Mechanization of Analytic Reasoning About Sets. Alan F. McMichael |
| 1991 | Metric Constraints for Maintaining Appointments: Dates and Repeated Activities. Massimo Poesio, Ronald J. Brachman |
| 1991 | On Generalized Interval Calculi. Gerard Ligozat |
| 1991 | Optimal Satisficing Tree Searches. Dan Geiger, Jeffrey A. Barnett |
| 1991 | Piction: A System That Uses Captions to Label Human Faces in Newspaper Photographs. Rohini K. Srihari |
| 1991 | Planning Multimedia Explanations Using Communicative Acts. Mark T. Maybury |
| 1991 | Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Volume 1. Thomas L. Dean, Kathleen R. McKeown |
| 1991 | Prototype-Based Reasoning: An Integrated Approach to Solving Large Novel Problems. Shankar A. Rajamoney, Hee-Youn Lee |
| 1991 | Provably Correct Theories of Action (Preliminary Report). Fangzhen Lin, Yoav Shoham |
| 1991 | Rules and Precedents as Complementary Warrants. Karl Branting, Bruce W. Porter |
| 1991 | Semantics-First Natural Language Processing. Steven L. Lytinen |
| 1991 | Some Variations on Default Logic. Piotr Rychlik |
| 1991 | Sophisticated Cooperation in FA/C Distributed Problem Solving Systems. Norman Carver, Zarko Cvetanovic, Victor R. Lesser |
| 1991 | Step-Logic and the Three-Wise-Men Problem. Jennifer J. Elgot-Drapkin |
| 1991 | Strong Introspection. Michael Gelfond |
| 1991 | Student Modelling with Confluences. Daniel Baril, Jim E. Greer, Gordon I. McCalla |
| 1991 | System-Z+: A Formalism for Reasoning with Variable-Strength Defaults. Moisés Goldszmidt, Judea Pearl |
| 1991 | Teaching Diagnostic Skills Using AI: An Architecture Suitable for Students and Teachers. Joël Courtois |
| 1991 | Temporal Reasoning During Plan Recognition. Fei Song, Robin Cohen |
| 1991 | Tense Interpretation in the Context of Narrative. Fei Song, Robin Cohen |
| 1991 | The Clarke Tax as a Consensus Mechanism Among Automated Agents. Eithan Ephrati, Jeffrey S. Rosenschein |
| 1991 | The Common Order-Theoretic Structure of Version Spaces and ATMS's. Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian |
| 1991 | The Function of Time in Cooperative Negotiations. Sarit Kraus, Jonathan Wilkenfeld |
| 1991 | The P-Systems: A Systematic Classification of Logics of Nonmonotonicity. Wolfgang Nejdl |
| 1991 | The Roles of Adaptation in Case-Based Design. Thomas R. Hinrichs, Janet L. Kolodner |
| 1991 | The Utility of Communication in Coordinating Intelligent Agents. Piotr J. Gmytrasiewicz, Edmund H. Durfee, David K. Wehe |
| 1991 | Toward an Intelligent Agent Flamework for Enterprise Integration. Jeff Yung-Choa Pan, Jay M. Tenenbaum |
| 1991 | ULINK: A Semantics-Driven Approach to Understanding Ungrammatical Input. Jeffrey D. Kirtner, Steven L. Lytinen |
| 1991 | Using Abstraction to Automate Program Improvement by Transformation. Ian Green |
| 1991 | Using Attention in Belief Revision. Xueming Huang, Gordon I. McCalla, Eric Neufeld |
| 1991 | Verification of Multi-Level Rule-Based Expert Systems. Pedro Meseguer |