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
Gerhard Lakemeyer: Only Knowing in the Situation Calculus. 14-25
Todd G. Kelley: Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. 26-37

Actions and Events

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

Ramification

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

Planning

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

Constraints

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

Robotics

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

Spatial Representation and Reasoning

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

Recognition and Diagnosis

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

Inheritance

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

Description Logics: Reasoning Techniques

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

Description Logics: Expressivity and Complexity

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

Complexity Measures

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

Deductive Systems

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

Belief Revision

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

Preference Logic

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

Nonmonotonic Reasoning

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

Nonmonotonic Logics and Logic Programming

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

Desision Theory

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

Reports on Implementations

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

Psychological and Philosophical Connections

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

Invited Talks

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

Panels

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