Principles of Knowledge Representation and Reasoning

PrefaceAcknowledgments 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 SystemsInvited 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)Panels Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract Only) Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract Only)Contributions by TopicAuthor Index