Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning

Proceedings of the Fourth International Conference (KR '94)

1st Edition - June 8, 1994

Write a review

  • Editors: Jon Doyle, Erik Sandewall, Pietro Torasso
  • eBook ISBN: 9781483214528

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

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

  • Preface


    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

Product details

  • No. of pages: 668
  • Language: English
  • Copyright: © Morgan Kaufmann 2014
  • Published: June 8, 1994
  • Imprint: Morgan Kaufmann
  • eBook ISBN: 9781483214528

About the Editors

Jon Doyle

Erik Sandewall

Pietro Torasso

Ratings and Reviews

Write a review

There are currently no reviews for "Principles of Knowledge Representation and Reasoning"