| 1991 | Probably Approximately Optimal Derivation Strategies. | Russell Greiner, Pekka Orponen |
| 1991 | Updates and Counterfactuals. | Gsta Grahne |
| 1991 | The Computational Value of Nonmonotonic Reasoning. | Matthew L. Ginsberg |
| 1991 | Computational Considerations in Reasoning about Action. | Matthew L. Ginsberg |
| 1991 | Partial Programs. | Michael R. Genesereth, Jane Yung-jen Hsu |
| 1991 | Knowledge Interchange Format. | Michael R. Genesereth |
| 1991 | Disjective Defaults. | Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski |
| 1991 | Beyond Negation as Failure. | Hector Geffner |
| 1991 | Nonmonotonic Inferences Based on Expectations: A Preliminary Report. | Peter Grdenfors |
| 1991 | Credulous vs. Sceptical Semantics for Ordered Logic Programs. | Dov M. Gabbay, Els Laenens, Dirk Vermeir |
| 1991 | A General Framework for Modal Deduction. | Alan M. Frisch, Richard B. Scherl |
| 1991 | Completable Representations of Constraint Satisfaction Problems. | Eugene C. Freuder |
| 1991 | Conditional Objects and Non-Monontonic Reasoning. | Didier Dubois, Henri Prade |
| 1991 | Rational Belief Revision. | Jon Doyle |
| 1991 | The Complexity of Concept Languages. | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt |
| 1991 | A Formal Basis for Analogical Reasoning. | Charles Dierbach, Daniel L. Chester |
| 1991 | Plan-Based Terminological Reasoning. | Premkumar T. Devanbu, Diane J. Litman |
| 1991 | Default Logic Revisited. | James P. Delgrande, W. Ken Jackson |
| 1991 | Clustering Temporal Intervals To Generate Reference Hierarchies. | William S. Davis, James R. Carnes |
| 1991 | Immortal: A Model-Based Belief Revision System. | Seng-cho Timothy Chou, Marianne Winslett |
| 1991 | Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation Environments. | Prasad Chalasani, Oren Etzioni, John Mount |
| 1991 | A New Formalisation of Subsumption in Frame-Based Representation Systems. | Jacqueline Castaing |
| 1991 | The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability. | Tom Bylander |
| 1991 | Metalogic for Knowledge Representation. | Antonio Brogi, Franco Turini |
| 1991 | Pragmatic Logics. | John Bell |