5. KR 1996: Cambridge, Massachusetts, USA

Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro (Eds.): Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996. Morgan Kaufmann, 1996, ISBN 1-55860-421-9

Situated Calculus

Raymond Reiter: Natural Actions, Concurrency and Continuous Time in the Situation Calculus. 2-13 BibTeX
Gerhard Lakemeyer: Only Knowing in the Situation Calculus. 14-25 BibTeX
Todd G. Kelley: Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. 26-37 BibTeX

Actions and Events

Andreas Herzig: The PMA Revisited. 40-50 BibTeX
Michael Thielscher: Causality and the Qualification Problem. 51-62 BibTeX
Rob Miller, Murray Shanahan: Reasoning about Discontinuities in the Event Calculus. 63-74 BibTeX

Ramification

Enrico Giunchiglia: Determining Ramifications in the Situation Calculus. 76-86 BibTeX
Joakim Gustafsson, Patrick Doherty: Embracing Occlusion in Specifying the Indirect Effects of Actions. 87-98 BibTeX
Erik Sandewall: Assessments of Ramification Methods that Use Static Domain Constraints. 99-110 BibTeX

Planning

Karen L. Myers: Strategic Advice for Hierarchical Planners. 112-123 BibTeX
Yury V. Smirnov, Manuela M. Veloso: Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods. 124-134 BibTeX
Subbarao Kambhampati, Xiuping Yang: On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning. 135-146 BibTeX

Constraints

James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy: Symmetry-Breaking Predicates for Search Problems. 148-159 BibTeX
Ari K. Jónsson, Matthew L. Ginsberg: Procedural Reasoning in Constraint Satisfaction. 160-171 BibTeX

Robotics

Keith Golden, Daniel S. Weld: Representing Sensing Actions: The Middle Ground Revisited. 174-185 BibTeX
Matthew L. Ginsberg: A New Algorithm for Generative Planning. 186-197 BibTeX
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. 198-209 BibTeX

Spatial Representation and Reasoning

Oliver Lemon: Semantical Foundations of Spatial Logics. 212-219 BibTeX
Stefano Borgo, Nicola Guarino, Claudio Masolo: A Pointless Theory of Space Based on Strong Connection and Congruence. 220-229 BibTeX
Anthony G. Cohn, Nicholas Mark Gotts: Representing Spatial Vagueness: A Mereological Approach. 230-241 BibTeX

Recognition and Diagnosis

Neal Lesh, Oren Etzioni: Scaling Up Goal Recognition. 244-255 BibTeX
Annette ten Teije, Frank van Harmelen: Computing Approximate Diagnoses By Using Approximate Entailment. 256-265 BibTeX

Inheritance

Leora Morgenstern: Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network. 268-279 BibTeX
Nirad Sharma: Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context). 280-290 BibTeX

Description Logics: Reasoning Techniques

Diego Calvanese: Finite Model Reasoning in Description Logics. 292-303 BibTeX
Fausto Giunchiglia, Roberto Sebastiani: A SAT-based Decision Procedure for ALC. 304-314 BibTeX

Description Logics: Expressivity and Complexity

Giuseppe De Giacomo, Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. 316-327 BibTeX
Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. 328-339 BibTeX
Alexander Borgida, Deborah L. McGuinness: Asking Queries about Frames. 340-349 BibTeX

Complexity Measures

Peter Jonsson, Thomas Drakengren, Christer Bäckström: Tractable Subclasses of the Point-Interval Algebra: A Complete Classification. 352-363 BibTeX
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. 364-373 BibTeX
Henry A. Kautz, David A. McAllester, Bart Selman: Encoding Plans in Propositional Logic. 374-384 BibTeX

Deductive Systems

David A. Basin, Seán Matthews, Luca Viganò: Implementing Modal and Relevance Logics in a Logical Framework. 386-397 BibTeX
Ronen I. Brafman: "Statistical" First Order Conditionals. 398-409 BibTeX

Belief Revision

Mary-Anne Williams: Towards a Practical Approach to Belief Revision: Reason-Based Change. 412-420 BibTeX
Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. 421-431 BibTeX
Tom Costello: Modeling Belief Change using Counterfactuals. 432-443 BibTeX

Preference Logic

Ana María Monteiro, Jacques Wainer: Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report. 446-452 BibTeX
Pierre Siegel, Lionel Forget: A Representation Theorem for Preferential Logics. 453-460 BibTeX
Manfred Jaeger: Representation Independence of Nonmonotonic Inference Relations. 461-472 BibTeX

Nonmonotonic Reasoning

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. 474-481 BibTeX
Alexander Bochman: Biconsequence Relations for Nonmonotonic Reasoning. 482-492 BibTeX
Gianni Amati, Fiora Pirri: Is There a Logic of Provability for Nonmonotonic Reasoning? 493-503 BibTeX

Nonmonotonic Logics and Logic Programming

Phan Minh Dung, Tran Cao Son: An Argumentation-theoretic Approach to Reasoning with Specificity. 506-517 BibTeX
Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski: Default Reasoning System DeReS. 518-528 BibTeX
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs. 529-540 BibTeX

Desision Theory

Fahiem Bacchus, Adam J. Grove: Utility Independence in a Qualitative Decision Theory. 542-552 BibTeX
Moshe Tennenholtz: On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents. 553-561 BibTeX
Tze-Yun Leong: Multiple Perspective Reasoning. 562-573 BibTeX

Reports on Implementations

Yugyung Lee, James Geller: Parallel Transitive Reasoning in Mixed Relational Hierarchies. 576-587 BibTeX
Nestor Rychtyckyj: DLMS: An Evaluation of KL-ONE in the Automobile Industry. 588-596 BibTeX
Malik Ghallab: On Chronicles: Representation, On-line Recognition and Learning. 597-606 BibTeX

Psychological and Philosophical Connections

Carl Vogel, Judith Tonhauser: Psychological Constraints on Plausible Default Inheritance Reasoning. 608-619 BibTeX
Matthew L. Ginsberg: Do Computers Need Common Sense? 620-626 BibTeX
Aaron Sloman: Actual Possibilities. 627-638 BibTeX

Invited Talks

John McCarthy: From Here to Human-Level AI. 640-646 BibTeX
Georg Gottlob: Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). 647-649 BibTeX

Panels

Richard Fikes: Ontologies: What Are They, and Where's The Research? 652-653 BibTeX
William S. Mark: Ontologies: What Are They, and Where's The Research? 654-655 BibTeX
Robert M. MacGregor: Implementations and Research: Discussions at the Boundary. 657-658 BibTeX
James A. Hendler: Implementations and Research: Discussions at the Boundary. 659-660 BibTeX
Lenhart K. Schubert: Implementations and Research: Discussions at the Boundary. 661-662 BibTeX
Stuart C. Shapiro: Implementations and Research: Discussions at the Boundary. 663-664 BibTeX