COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Principles of Knowledge Representation and Reasoning - 1st Edition - ISBN: 9781558603288, 9781483214528

Principles of Knowledge Representation and Reasoning

1st Edition

Proceedings of the Fourth International Conference (KR '94)

Editors: Jon Doyle Erik Sandewall Pietro Torasso
eBook ISBN: 9781483214528
Paperback ISBN: 9781558603288
Imprint: Morgan Kaufmann
Published Date: 8th June 1994
Page Count: 668
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94) held in Bonn, Germany, on May 24-27, 1994. The conference provided a forum for reviewing the theory and principles underlying knowledge representation and reasoning. Topics covered range from reasoning about mental states and spatial reasoning with propositional logics to default logic as a query language. Comprised of 60 chapters, this book begins with a description of a formal language for representing and reasoning about time and action before turning to proof in context and how it can replace the most common uses of reflection principles. The reader is then introduced to reasoning with minimal models; belief ascription and mental-level modeling; and a unified framework for class-based representation formalisms. A general approach to specificity in default reasoning is also described, together with an ontology for engineering mathematics and the use of abduction to generate tests. The book concludes by considering the use of natural language for knowledge representation and reasoning. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.

Table of Contents



A Computational Account for a Description Logic of Time and Action

Proofs in Context

An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning About Mental States

Reasoning with Minimal Models: Efficient Algorithms and Applications

Spatial Reasoning with Propositional Logics

On the Relation Between Default and Modal Consequence Relations

Toward a Logic for Qualitative Decision Theory

Belief Ascription and Mental-Level Modelling

Default Logic as a Query Language

A Unified Framework for Class-Based Representation Formalisms

Learning the Classic Description Logic: Theoretical and Experimental Results

Directional Resolution: The Davis-Putnam Procedure, Revisited

A General Approach to Specificity in Default Reasoning

Action Representation for Interpreting Purpose Clauses in Natural Language Instructions

Conditional Objects as Nonmonotonic Consequence Relations: Main Results

Tractable Closed World Reasoning with Updates

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update

On the Complexity of Conditional Logics

An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning

GSAT and Dynamic Backtracking

Representing Uncertainty in Simple Planners

How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone

An Ontology for Engineering Mathematics

An Ontology of Meta-Level Categories

Defeasible Reasoning with Structured Information

On Positive Occurrences of Negation as Failure

Probabilistic Reasoning in Terminological Logics

On Multiagent Autoepistemic Logic—An Extrospective View

Refinement Search as a Unifying Framework for Analyzing Planning Algorithms

Actions with Indirect Effects (Preliminary Report)

An Application of Terminological Logics to Case-Based Reasoning

Risk-Sensitive Planning with Probabilistic Decision Graphs

Easy to be Hard: Difficult Problems for Greedy Algorithms

Complexity Results for First-Order Theories of Temporal Constraints

Reasoning in Logic About Continuous Systems

Enhancing the Power of a Decidable First-Order Reasoner

Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version)

How to Progress a Database (and Why) I. Logical Foundations

Modalities Over Actions, I. Model Theory

Generating Tests Using Abduction

Preferential Entailments for Circumscriptions

A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning

A Framework for Part-of Hierarchies in Terminological Logics

Means-End Plan Recognition—Towards a Theory of Reactive Recognition

Terminological Cycles and the Propositional μ-Calculus

Near-Optimal Plans, Tractability, and Reactivity

Specification and Evaluation of Preferences Under Uncertainty

Making the Difference: A Subtraction Operation for Description Logics

Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation

The Role of Reversible Grammars in Translating Between Representation Languages

Constraint Tightness Versus Global Consistency

Honesty in Partial Logic

Mutual Belief Revision (Preliminary Report)

Revise: An Extended Logic Programming System for Revising Knowledge Bases

Transmutations of Knowledge Systems

Invited Talks

Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract Only)

Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning

Beyond Ignorance-Based Systems (Abstract Only)


Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract Only)

Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract Only)

Contributions by Topic

Author Index


No. of pages:
© Morgan Kaufmann 2014
8th June 1994
Morgan Kaufmann
eBook ISBN:
Paperback ISBN:

About the Editors

Jon Doyle

Erik Sandewall

Pietro Torasso

Ratings and Reviews