default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th KR 1996: Cambridge, Massachusetts, USA
- Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro:
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. KR 1996: 2-13 - Gerhard Lakemeyer:
Only Knowing in the Situation Calculus. KR 1996: 14-25 - Todd G. Kelley:
Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. KR 1996: 26-37
Actions and Events
- Andreas Herzig:
The PMA Revisited. KR 1996: 40-50 - Michael Thielscher:
Causality and the Qualification Problem. KR 1996: 51-62 - Rob Miller, Murray Shanahan:
Reasoning about Discontinuities in the Event Calculus. KR 1996: 63-74
Ramification
- Enrico Giunchiglia:
Determining Ramifications in the Situation Calculus. KR 1996: 76-86 - Joakim Gustafsson, Patrick Doherty:
Embracing Occlusion in Specifying the Indirect Effects of Actions. KR 1996: 87-98 - Erik Sandewall:
Assessments of Ramification Methods that Use Static Domain Constraints. KR 1996: 99-110
Planning
- Karen L. Myers:
Strategic Advice for Hierarchical Planners. KR 1996: 112-123 - Yury V. Smirnov, Manuela M. Veloso:
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods. KR 1996: 124-134 - Subbarao Kambhampati, Xiuping Yang:
On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning. KR 1996: 135-146
Constraints
- James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy:
Symmetry-Breaking Predicates for Search Problems. KR 1996: 148-159 - Ari K. Jónsson, Matthew L. Ginsberg:
Procedural Reasoning in Constraint Satisfaction. KR 1996: 160-171
Robotics
- Keith Golden, Daniel S. Weld:
Representing Sensing Actions: The Middle Ground Revisited. KR 1996: 174-185 - Matthew L. Ginsberg:
A New Algorithm for Generative Planning. KR 1996: 186-197 - Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209
Spatial Representation and Reasoning
- Oliver Lemon:
Semantical Foundations of Spatial Logics. KR 1996: 212-219 - Stefano Borgo, Nicola Guarino, Claudio Masolo:
A Pointless Theory of Space Based on Strong Connection and Congruence. KR 1996: 220-229 - Anthony G. Cohn, Nicholas Mark Gotts:
Representing Spatial Vagueness: A Mereological Approach. KR 1996: 230-241
Recognition and Diagnosis
- Neal Lesh, Oren Etzioni:
Scaling Up Goal Recognition. KR 1996: 244-255 - Annette ten Teije, Frank van Harmelen:
Computing Approximate Diagnoses By Using Approximate Entailment. KR 1996: 256-265
Inheritance
- Leora Morgenstern:
Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network. KR 1996: 268-279 - Nirad Sharma:
Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context). KR 1996: 280-290
Description Logics: Reasoning Techniques
- Diego Calvanese:
Finite Model Reasoning in Description Logics. KR 1996: 292-303 - Fausto Giunchiglia, Roberto Sebastiani:
A SAT-based Decision Procedure for ALC. KR 1996: 304-314
Description Logics: Expressivity and Complexity
- Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. KR 1996: 316-327 - Franz Baader, Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339 - Alexander Borgida, Deborah L. McGuinness:
Asking Queries about Frames. KR 1996: 340-349
Complexity Measures
- Peter Jonsson, Thomas Drakengren, Christer Bäckström:
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification. KR 1996: 352-363 - Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. KR 1996: 364-373 - Henry A. Kautz, David A. McAllester, Bart Selman:
Encoding Plans in Propositional Logic. KR 1996: 374-384
Deductive Systems
- David A. Basin, Seán Matthews, Luca Viganò:
Implementing Modal and Relevance Logics in a Logical Framework. KR 1996: 386-397 - Ronen I. Brafman:
"Statistical" First Order Conditionals. KR 1996: 398-409
Belief Revision
- Mary-Anne Williams:
Towards a Practical Approach to Belief Revision: Reason-Based Change. KR 1996: 412-420 - Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. KR 1996: 421-431 - Tom Costello:
Modeling Belief Change using Counterfactuals. KR 1996: 432-443
Preference Logic
- Ana María Monteiro, Jacques Wainer:
Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report. KR 1996: 446-452 - Pierre Siegel, Lionel Forget:
A Representation Theorem for Preferential Logics. KR 1996: 453-460 - Manfred Jaeger:
Representation Independence of Nonmonotonic Inference Relations. KR 1996: 461-472
Nonmonotonic Reasoning
- Chitta Baral, Alfredo Gabaldon, Alessandro Provetti:
Value Minimization in Circumscription. KR 1996: 474-481 - Alexander Bochman:
Biconsequence Relations for Nonmonotonic Reasoning. KR 1996: 482-492 - Gianni Amati, Fiora Pirri:
Is There a Logic of Provability for Nonmonotonic Reasoning? KR 1996: 493-503
Nonmonotonic Logics and Logic Programming
- Phan Minh Dung, Tran Cao Son:
An Argumentation-theoretic Approach to Reasoning with Specificity. KR 1996: 506-517 - Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski:
Default Reasoning System DeReS. KR 1996: 518-528 - Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super Logic Programs. KR 1996: 529-540
Desision Theory
- Fahiem Bacchus, Adam J. Grove:
Utility Independence in a Qualitative Decision Theory. KR 1996: 542-552 - Moshe Tennenholtz:
On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents. KR 1996: 553-561 - Tze-Yun Leong:
Multiple Perspective Reasoning. KR 1996: 562-573
Reports on Implementations
- Yugyung Lee, James Geller:
Parallel Transitive Reasoning in Mixed Relational Hierarchies. KR 1996: 576-587 - Nestor Rychtyckyj:
DLMS: An Evaluation of KL-ONE in the Automobile Industry. KR 1996: 588-596 - Malik Ghallab:
On Chronicles: Representation, On-line Recognition and Learning. KR 1996: 597-606
Psychological and Philosophical Connections
- Carl Vogel, Judith Tonhauser:
Psychological Constraints on Plausible Default Inheritance Reasoning. KR 1996: 608-619 - Matthew L. Ginsberg:
Do Computers Need Common Sense? KR 1996: 620-626 - Aaron Sloman:
Actual Possibilities. KR 1996: 627-638
Invited Talks
- John McCarthy:
From Here to Human-Level AI. KR 1996: 640-646 - Georg Gottlob:
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). KR 1996: 647-649
Panels
- Richard Fikes:
Ontologies: What Are They, and Where's The Research? KR 1996: 652-653 - William S. Mark:
Ontologies: What Are They, and Where's The Research? KR 1996: 654-655 - Robert M. MacGregor:
Implementations and Research: Discussions at the Boundary. KR 1996: 657-658 - James A. Hendler:
Implementations and Research: Discussions at the Boundary. KR 1996: 659-660 - Lenhart K. Schubert:
Implementations and Research: Discussions at the Boundary. KR 1996: 661-662 - Stuart C. Shapiro:
Implementations and Research: Discussions at the Boundary. KR 1996: 663-664
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-30 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
