Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar5. 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 - 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
Ramification
- 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
- 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 - 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
- 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
- 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
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
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
Belief Revision
- Mary-Anne Williams:
Towards a Practical Approach to Belief Revision: Reason-Based Change. KR 1996: 412-420
Preference Logic
- Ana María Monteiro, Jacques Wainer:
Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report. KR 1996: 446-452
Nonmonotonic Reasoning
- Chitta Baral, Alfredo Gabaldon, Alessandro Provetti:
Value Minimization in Circumscription. KR 1996: 474-481 - 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
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
Reports on Implementations
- Yugyung Lee, James Geller:
Parallel Transitive Reasoning in Mixed Relational Hierarchies. KR 1996: 576-587
Psychological and Philosophical Connections
- Carl Vogel, Judith Tonhauser:
Psychological Constraints on Plausible Default Inheritance Reasoning. KR 1996: 608-619
Invited Talks
- Georg Gottlob:
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). KR 1996: 647-649
Panels
maintained by 
at 
at 
last updated on 2018-07-12 22:10 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint