Description |
1 online resource (xiv, 237 pages) : illustrations |
Series |
Lecture notes in computer science ; 346. Lecture notes in artificial intelligence |
|
Lecture notes in computer science ; 346.
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence
|
Contents |
General Properties of Non-Monotonic Logics -- Preference-Based Model Theory -- Autoepistemic Logics -- Implementing Circumscription -- Complexity Considerations -- Truth Maintenance Systems -- Applications |
Summary |
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 |
Bibliography |
Includes bibliographical references (pages 236-237) |
Notes |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL |
|
Print version record |
Subject |
Artificial intelligence -- Congresses
|
|
Nonmonotonic reasoning -- Congresses
|
|
Logic, Symbolic and mathematical -- Congresses
|
|
Reasoning -- Congresses
|
|
Reasoning
|
|
Artificial intelligence
|
|
Logic, Symbolic and mathematical
|
|
Nonmonotonic reasoning
|
|
Redeneren.
|
|
Monotonie (wiskunde)
|
|
Logica.
|
Genre/Form |
Conference papers and proceedings
|
|
Congressen (vorm)
|
Form |
Electronic book
|
Author |
Reinfrank, M. (Michael), 1958-
|
|
International Workshop on Non-Monotonic Reasoning (2nd : 1988 : Grassau, Traunstein, Germany)
|
ISBN |
9783540460732 |
|
354046073X |
|