| 1996 | "Statistical" First Order Conditionals. Ronen I. Brafman |
| 1996 | A New Algorithm for Generative Planning. Matthew L. Ginsberg |
| 1996 | A Pointless Theory of Space Based on Strong Connection and Congruence. Stefano Borgo, Nicola Guarino, Claudio Masolo |
| 1996 | A Representation Theorem for Preferential Logics. Pierre Siegel, Lionel Forget |
| 1996 | A SAT-based Decision Procedure for ALC. Fausto Giunchiglia, Roberto Sebastiani |
| 1996 | Actual Possibilities. Aaron Sloman |
| 1996 | An Argumentation-theoretic Approach to Reasoning with Specificity. Phan Minh Dung, Tran Cao Son |
| 1996 | Asking Queries about Frames. Alexander Borgida, Deborah L. McGuinness |
| 1996 | Assessments of Ramification Methods that Use Static Domain Constraints. Erik Sandewall |
| 1996 | Belief Revision: A Critique. Nir Friedman, Joseph Y. Halpern |
| 1996 | Biconsequence Relations for Nonmonotonic Reasoning. Alexander Bochman |
| 1996 | Causality and the Qualification Problem. Michael Thielscher |
| 1996 | Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1996 | Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). Georg Gottlob |
| 1996 | Computing Approximate Diagnoses By Using Approximate Entailment. Annette ten Teije, Frank van Harmelen |
| 1996 | DLMS: An Evaluation of KL-ONE in the Automobile Industry. Nestor Rychtyckyj |
| 1996 | Default Reasoning System DeReS. Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski |
| 1996 | Determining Ramifications in the Situation Calculus. Enrico Giunchiglia |
| 1996 | Do Computers Need Common Sense? Matthew L. Ginsberg |
| 1996 | Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods. Yury V. Smirnov, Manuela M. Veloso |
| 1996 | Embracing Occlusion in Specifying the Indirect Effects of Actions. Joakim Gustafsson, Patrick Doherty |
| 1996 | Encoding Plans in Propositional Logic. Henry A. Kautz, David A. McAllester, Bart Selman |
| 1996 | Finite Model Reasoning in Description Logics. Diego Calvanese |
| 1996 | From Here to Human-Level AI. John McCarthy |
| 1996 | Implementations and Research: Discussions at the Boundary. Robert M. MacGregor |
| 1996 | Implementations and Research: Discussions at the Boundary. James A. Hendler |
| 1996 | Implementations and Research: Discussions at the Boundary. Lenhart K. Schubert |
| 1996 | Implementations and Research: Discussions at the Boundary. Stuart C. Shapiro |
| 1996 | Implementing Modal and Relevance Logics in a Logical Framework. David A. Basin, Seán Matthews, Luca Viganò |
| 1996 | Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network. Leora Morgenstern |
| 1996 | Is There a Logic of Provability for Nonmonotonic Reasoning? Gianni Amati, Fiora Pirri |
| 1996 | Modeling Belief Change using Counterfactuals. Tom Costello |
| 1996 | Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. Todd G. Kelley |
| 1996 | Moving a Robot: The KR&R Approach at Work. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati |
| 1996 | Multiple Perspective Reasoning. Tze-Yun Leong |
| 1996 | Natural Actions, Concurrency and Continuous Time in the Situation Calculus. Raymond Reiter |
| 1996 | Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Franz Baader, Ulrike Sattler |
| 1996 | On Chronicles: Representation, On-line Recognition and Learning. Malik Ghallab |
| 1996 | On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents. Moshe Tennenholtz |
| 1996 | On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning. Subbarao Kambhampati, Xiuping Yang |
| 1996 | Only Knowing in the Situation Calculus. Gerhard Lakemeyer |
| 1996 | Ontologies: What Are They, and Where's The Research? William S. Mark |
| 1996 | Ontologies: What Are They, and Where's The Research? Richard Fikes |
| 1996 | Parallel Transitive Reasoning in Mixed Relational Hierarchies. Yugyung Lee, James Geller |
| 1996 | Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context). Nirad Sharma |
| 1996 | Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report. Ana María Monteiro, Jacques Wainer |
| 1996 | Procedural Reasoning in Constraint Satisfaction. Ari K. Jónsson, Matthew L. Ginsberg |
| 1996 | Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996. Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro |
| 1996 | Psychological Constraints on Plausible Default Inheritance Reasoning. Carl Vogel, Judith Tonhauser |
| 1996 | Reasoning about Discontinuities in the Event Calculus. Rob Miller, Murray Shanahan |
| 1996 | Representation Independence of Nonmonotonic Inference Relations. Manfred Jaeger |
| 1996 | Representing Sensing Actions: The Middle Ground Revisited. Keith Golden, Daniel S. Weld |
| 1996 | Representing Spatial Vagueness: A Mereological Approach. Anthony G. Cohn, Nicholas Mark Gotts |
| 1996 | Scaling Up Goal Recognition. Neal Lesh, Oren Etzioni |
| 1996 | Semantical Foundations of Spatial Logics. Oliver Lemon |
| 1996 | Strategic Advice for Hierarchical Planners. Karen L. Myers |
| 1996 | Super Logic Programs. Stefan Brass, Jürgen Dix, Teodor C. Przymusinski |
| 1996 | Symmetry-Breaking Predicates for Search Problems. James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy |
| 1996 | TBox and ABox Reasoning in Expressive Description Logics. Giuseppe De Giacomo, Maurizio Lenzerini |
| 1996 | The PMA Revisited. Andreas Herzig |
| 1996 | Towards a Practical Approach to Belief Revision: Reason-Based Change. Mary-Anne Williams |
| 1996 | Tractable Subclasses of the Point-Interval Algebra: A Complete Classification. Peter Jonsson, Thomas Drakengren, Christer Bäckström |
| 1996 | Utility Independence in a Qualitative Decision Theory. Fahiem Bacchus, Adam J. Grove |
| 1996 | Value Minimization in Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti |