Principles of Knowledge Representation and Reasoning. Proceedings of the Fourth International Conference (KR '94)

• Publisher: Elsevier Inc
• Year: 1994
• Tongue: English
• Leaves: 654
• Category: Library

✦ Synopsis

Principles of Knowledge Representation and Reasoning

✦ Table of Contents

Content:
The Morgan Kaufmann Series in Representation and Reasoning, Page ii
Front Matter, Page iii
Copyright, Page iv
Preface, Page ix, Jon Doyle, Erik Sandewall, Pietro Torasso
Acknowledgments, Pages x-xii
A Computational Account for a Description Logic of Time and Action, Pages 3-14, Alessandro Artale, Enrico Franconi
Proofs in context, Pages 15-26, Giuseppe Attardi, Maria Simi
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States, Pages 27-38, John A. Barnden, Stephen Helmreich, Eric Iverson, Gees C. Stein
Reasoning with minimal models: Efficient algorithms and applications, Pages 39-50, Rachel Ben-Eliyahu, Luigi Palopoli
Spatial Reasoning with Propositional Logics, Pages 51-62, Brandon Bennett
On the Relation Between Default and Modal Consequence Relations, Pages 63-74, Alexander Bochman
Toward a Logic for Qualitative Decision Theory, Pages 75-86, Craig Boutilier
Belief Ascription and Mental-level Modelling, Pages 87-98, Ronen I. Brafman, Moshe Tennenholt
Default Logic as a Query Language, Pages 99-108, Marco Cadoli, Thomas Eiter, Georg Gottlob
A Unified Framework for Class-Based Representation Formalisms, Pages 109-120, Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
Learning the CLASSIC Description Logic: Theoretical and Experimental Results, Pages 121-133, William W. Cohen, Haym Hirsh
Directional Resolution: The Davis-Putnam Procedure, Revisited, Pages 134-145, Rina Dechter, Irina Rish
A General Approach to Specificity in Default Reasoning, Pages 146-157, James P. Delgrande, Torsten H. Schaub
Action Representation for interpreting Purpose Clauses in Natural Language Instructions, Pages 158-169, Barbara Di Eugenio
Conditional Objects as Nonmonotonic Consequence Relations, Pages 170-177, Didier Dubois, Henri Prade
Tractable Closed World Reasoning with Updates, Pages 178-189, Oren Etzioni, Keith Golden, Daniel Weld
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update, Pages 190-201, Nir Friedman, Joseph Y. Halpern
On the Complexity of Conditional Logics, Pages 202-213, Nir Friedman, Joseph Y. Halpern
An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning, Pages 214-225, Alfonso Gerevini, Lenhart Schubert
GSAT and Dynamic Backtracking, Pages 226-237, Matthew L. Ginsberg, David A. McAllester
Representing Uncertainty in Simple Planners, Pages 238-245, Robert P. Goldman, Mark S. Boddy
How Far Can We ‘C’? Defining a ‘Doughnut’ Using Connection Alone, Pages 246-257, N.M. Gotts
An Ontology for Engineering Mathematics, Pages 258-269, Thomas R. Gruber, Gregory R. Olsen
An Ontology of Meta-Level Categories, Pages 270-280, Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta
Defeasible reasoning with structured information, Pages 281-292, Anthony Hunter
On Positive Occurrences of Negation as Failure, Pages 293-304, Katsumi Inoue, Chiaki Sakama
Probabilistic Reasoning in Terminological Logics, Pages 305-316, Manfred Jaeger
On Multiagent Autoepistemic Logic - an extrospective view, Pages 317-328, Y.J. Jiang
Refinement Search as a Unifying Framework for analyzing Planning Algorithms, Pages 329-340, Subbarao Kambhampati
Actions with Indirect Effects (Preliminary Report), Pages 341-350, G. Neelakantan Kartha, Vladimir Lifschitz
An Application of Terminological Logics to Case-based Reasoning, Pages 351-362, Jana Koehler
Risk-Sensitive Planning with Probabilistic Decision Graphs, Pages 363-373, Sven Koenig, Reid G. Simmons
Easy to be Hard: Difficult Problems for Greedy Algorithms, Pages 374-378, Kurt Konolige
Complexity Results for First-Order Theories of Temporal Constraints, Pages 379-390, Manolis Koubarakis
Reasoning in Logic about Continuous Systems, Pages 391-402, Benjamin J. Kuipers, Benjamin Shults
Enhancing the Power of a Decidable First-Order Reasoner, Pages 403-414, Gerhard Lakemeyer, Susanne Meyer
Knowledge, Certainty, Belief, and Conditionalisation (abbreviated version), Pages 415-424, Philippe Lamarre, Yoav Shoham
How to Progress a Database (and Why) I. Logical Foundations, Pages 425-436, Fangzhen Lin, Ray Reiter
Modalities Over Actions, I. Model Theory, Pages 437-448, L. Thome McCarty
Generating Tests using Abduction, Pages 449-460, Sheila McIlraith
Preferential entailments for circumscriptions, Pages 461-472, Yves Moinard, Raymond Rolland
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning, Pages 473-484, Ilkka Niemelä
A Framework for Part-of Hierarchies in Terminological Logics, Pages 485-496, Lin Padgham, Patrick Lambrix
Means-End Plan Recognition – Towards a Theory of Reactive Recognition, Pages 497-508, Anand S. Rao
Terminological Cycles and the Propositional μ-Calculus, Pages 509-520, Klaus Schild
Near-Optimal Plans, Tractability, and Reactivity, Pages 521-529, Bart Selman
Specification and Evaluation of Preferences under Uncertainty, Pages 530-539, Sek-Wah Tan, Judea Pearl
Making the Difference: A Subtraction Operation for Description Logics, Pages 540-550, Gunnar Teege
Tractable Databases: How to Make Propositional Unit Resolution Complete through Compilation, Pages 551-561, Alvaro del Val
The Role of Reversible Grammars in Translating Between Representation Languages, Pages 562-571, Jeffrey Van Baalen, Richard E. Fikes
Constraint Tightness versus Global Consistency, Pages 572-582, Peter van Beek, Rina Dechter
Honesty in Partial Logic, Pages 583-594, Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
Mutual Belief Revision (Preliminary Report), Pages 595-606, Ron van der Meyden
REVISE: An Extended Logic Programming System for Revising Knowledge Bases, Pages 607-618, Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira
Transmutations of Knowledge Systems, Pages 619-629, Mary-Anne Williams
Knowledge Representation Issues in Integrated Planning and Learning Systems, Page 633, Jaime G. Carbonell
Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning, Pages 634-645, Didier Dubois - Henri Prade
Beyond Ignorance-Based Systems, Page 646, William A. Woods
Systems vs. Theory vs. …: KR&R Research Methodologies, Page 649, Lin Padgham, Moderator
Exploiting Natural Language for Knowledge Representation and Reasoning, Pages 650-651, Len Schubert, Moderator
Contributions by Topic, Pages 653-654
Author Index, Page 655