| 1989 | A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation. Yoshiteru Ishida |
| 1989 | A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Alan M. Frisch |
| 1989 | A Knowledge Level Analysis of Belief Revision. Bernhard Nebel |
| 1989 | A Non-Reified Temporal Logic. Fahiem Bacchus, Josh Tenenberg, Johannes A. G. M. Koomen |
| 1989 | A Simple Solution to the Yale Shooting Problem. Andrew B. Baker |
| 1989 | ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. Edwin P. D. Pednault |
| 1989 | An Episodic Knowledge Representation for Narrative Texts. Lenhart K. Schubert, Chung Hee Hwang |
| 1989 | Analogical Reasoning, Defeasible Reasoning, and the Reference Class. Ronald Prescott |
| 1989 | Analogy as a Constrained Partial Correspondence Over Conceptual Graphs. Debbie Leishman |
| 1989 | Argument Systems: A Uniform Basis for Nonmonotonic Reasoning. Fangzhen Lin, Yoav Shoham |
| 1989 | Belief, Metaphorically Speaking. John A. Barnden |
| 1989 | Between Circumscription and Autoepistemic Logic. Vladimir Lifschitz |
| 1989 | Cardinalities and Well Orderings in a Common-Sense Set Theory. Wlodek Zadrozny |
| 1989 | Combining Logic and Differential Equations for Describing Real-World Systems. Erik Sandewall |
| 1989 | Critical Issues in Nonmonotonic Reasoning. David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz |
| 1989 | Default Reasoning, Minimality and Coherence. Hector Geffner |
| 1989 | Defaults and Probabilities; Extensions and Coherence. Eric Neufeld |
| 1989 | Did Newton Solve the "Extended Prediction Problem"? Manny Rayner |
| 1989 | Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. Francesca Rossi, Ugo Montanari |
| 1989 | Formal Theories of Belief Revision. Anand S. Rao, Norman Y. Foo |
| 1989 | Hard Problems for Simple Default Logics. Henry A. Kautz, Bart Selman |
| 1989 | Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. Alexander Borgida, David W. Etherington |
| 1989 | Impediments to Universal Preference-Based Default Theories. Jon Doyle, Michael P. Wellman |
| 1989 | Induction as Nonmonotonic Inference. Nicolas Helft |
| 1989 | Inheritance in Automated Planning. Josh D. Tenenberg |
| 1989 | Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions. Phyllis Koton, Melissa P. Chase |
| 1989 | Localizing Temporal Constraint Propagation. Johannes A. G. M. Koomen |
| 1989 | Making Situation Calculus Indexical. Devika Subramanian, John Woodfill |
| 1989 | Modelling Topological and Metrical Properties in Physical Processes. David A. Randell, Anthony G. Cohn |
| 1989 | On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning. Anthony G. Cohn |
| 1989 | Ontological Assumptions in Knowledge Representation. Graeme Hirst |
| 1989 | Parallel Solutions to Constraint Satisfaction Problems. Simon Kasif |
| 1989 | Plausible World Assumption. Eliezer L. Lozinskii |
| 1989 | Principles of Metareasoning. Stuart J. Russell, Eric Wefald |
| 1989 | Probabilistic Semantics for Nonmonotonic Reasoning: A Survey. Judea Pearl |
| 1989 | Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. Ronald J. Brachman, Hector J. Levesque, Raymond Reiter |
| 1989 | Relating Autoepistemic and Default Logics. V. Wiktor Marek, Miroslaw Truszczynski |
| 1989 | Situated Control Rules. Mark Drummond |
| 1989 | Skeptical Reasoning and Disjunctive Programs. Arcot Rajasekar, Jorge Lobo, Jack Minker |
| 1989 | Solutions to a Paradox of Perception with Limited Acuity. Ernest Davis |
| 1989 | Some Results Concerning the Computational Complexity of Abduction. Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson |
| 1989 | Subsumption in KL-ONE is Undecidable. Manfred Schmidt-Schauß |
| 1989 | Syntactic Equality in Knowledge Representation and Reasoning. Edward P. Stabler Jr. |
| 1989 | Synthesizing Information-Tracking Automata from Environment Descriptions. Stanley J. Rosenschein |
| 1989 | Taxonomic Syntax for First Order Inference. David A. McAllester, Robert Givan, Tanveer Fatima |
| 1989 | Temporal Constraint Networks. Rina Dechter, Itay Meiri, Judea Pearl |
| 1989 | Terminological Knowledge Representation Systems Supporting N-ary Terms. James G. Schmolze |
| 1989 | Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. Teodor C. Przymusinski |
| 1989 | Towards a Theory of Access-Limited Logic for Knowledge Representation. James M. Crawford, Benjamin Kuipers |
| 1989 | Tractable Decision-Analytic Control. Oren Etzioni |
| 1989 | What Does a Conditional Knowledge Base Entail? Daniel Lehmann |
| 1989 | What the Lottery Paradox Tells Us About Default Reasoning. David Poole |