Foundations of knowledge representation and reasoning
Author(s)
Bibliographic Information
Foundations of knowledge representation and reasoning
（Lecture notes in computer science, 810 . Lecture notes in artificial intelligence）
Springer-Verlag, c1994
- : gw
- : us
Available at / 57 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: gwL/N||LNCS||81094027203
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:810941002830
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
Description and Table of Contents
Description
This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and Cousins on mental attitudes.
In total, the volume provides a well-organized report on current research in knowledge representation, which is one of the central subfields of AI. Except the surveys, the papers grew out of a workshop on Theoretical Foundations of Knowledge Representation and Reasoning, held in conjunction with the 10th European Conference on Artificial Intelligence (ECAI-92) in Vienna in August 1992.
Table of Contents
Foundations of knowledge representation and reasoning.- Collective entities and relations in concept languages.- Computing extensions of terminological default theories.- A formalization of interval-based temporal subsumption in first order logic.- Normative, subjunctive and autoepistemic defaults.- Abductive reasoning with abstraction axioms.- Queries, rules and definitions as epistemic sentences in concept languages.- The power of beliefs or translating default logic into standard autoepistemic logic.- Learning an optimally accurate representation system.- Default reasoning via negation as failure.- Weak autoepistemic reasoning and well-founded semantics.- Forming concepts for fast inference.- A common-sense theory of time.- Reasoning with analogical representations.- Asking about possibilities - Revision and update semantics for subjunctive queries Extended report.- On the impact of stratification on the complexity of nonmonotonic reasoning.- Logics of mental attitudes in AI.- Hyperrational conditionals.- Revision by expansion in logic programs.
by "Nielsen BookData"
