Format:
Online-Ressource (XIV, 237 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540460732
Series Statement:
Lecture notes in computer science 346
Content:
General theory of cumulative inference -- New results on semantical nonmonotonic reasoning -- The semantics of non-monotonic entailment defined using partial interpretations -- Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report -- Autoepistemic stable closures and contradiction resolution -- Compiling circumscriptive theories into logic programs -- A circumscriptive theorem prover -- The complexity of Model-Preference Default theories -- Massively parallel Assumption-based Truth Maintenance -- An extended basic ATMS -- A nonmonotonic logic for reasoning about speech acts and belief revision -- Autoepistemic logic and formalization of commonsense reasoning preliminary report -- Nonmonotonic reasoning in temporal domains: The knowledge independence problem -- Benchmark problems for formal nonmonotonic reasoning -- Logics for inheritance theory.
Content:
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this research area, and provides in-depth discussions of current problems and approaches.
Note:
Literaturangaben
Additional Edition:
ISBN 3540507019
Additional Edition:
ISBN 0387507019
Additional Edition:
ISBN 9783540507017
Additional Edition:
Erscheint auch als Druck-Ausgabe Non-monotonic reasoning Berlin : Springer, 1989 ISBN 3540507019
Additional Edition:
ISBN 0387507019
Language:
English
Subjects:
Computer Science
Keywords:
Nichtmonotone Logik
;
Künstliche Intelligenz
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/3-540-50701-9
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)