| 1991 | Meta-Reasoning in Executable Temporal Logic. | Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter |
| 1991 | Nonmonotonic Inferences in Neural Networks. | Christian Balkenius, Peter Grdenfors |
| 1991 | The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures. | Jeffrey Van Baalen |
| 1991 | Reflections about Reflection. | Giuseppe Attardi, Maria Simi |
| 1991 | Knowledge Sharing: A Feasible Dream. | Giuseppe Attardi |
| 1991 | Temporal Reasoning and Narrative Conventions. | Jonathan Amsterdam |
| 1991 | Planning as Temporal Reasoning. | James F. Allen |
| 1989 | Cardinalities and Well Orderings in a Common-Sense Set Theory. | Wlodek Zadrozny |
| 1989 | Inheritance in Automated Planning. | Josh D. Tenenberg |
| 1989 | Making Situation Calculus Indexical. | Devika Subramanian, John Woodfill |
| 1989 | Syntactic Equality in Knowledge Representation and Reasoning. | Edward P. Stabler Jr. |
| 1989 | An Episodic Knowledge Representation for Narrative Texts. | Lenhart K. Schubert, Chung Hee Hwang |
| 1989 | Terminological Knowledge Representation Systems Supporting N-ary Terms. | James G. Schmolze |
| 1989 | Subsumption in KL-ONE is Undecidable. | Manfred Schmidt-Schau |
| 1989 | Combining Logic and Differential Equations for Describing Real-World Systems. | Erik Sandewall |
| 1989 | Principles of Metareasoning. | Stuart J. Russell, Eric Wefald |
| 1989 | Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. | Francesca Rossi, Ugo Montanari |
| 1989 | Synthesizing Information-Tracking Automata from Environment Descriptions. | Stanley J. Rosenschein |
| 1989 | Did Newton Solve the "Extended Prediction Problem"? | Manny Rayner |
| 1989 | Formal Theories of Belief Revision. | Anand S. Rao, Norman Y. Foo |
| 1989 | Modelling Topological and Metrical Properties in Physical Processes. | David A. Randell, Anthony G. Cohn |
| 1989 | Skeptical Reasoning and Disjunctive Programs. | Arcot Rajasekar, Jorge Lobo, Jack Minker |
| 1989 | Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. | Teodor C. Przymusinski |
| 1989 | Analogical Reasoning, Defeasible Reasoning, and the Reference Class. | Ronald Prescott |
| 1989 | What the Lottery Paradox Tells Us About Default Reasoning. | David Poole |