Tell your friends about this item:
Non-monotonic Reasoning: 2nd International Workshop, Grassau, Frg, June 13-15, 1988. Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Michael Reinfrank
Ordered from remote warehouse
Christmas presents can be returned until 31 January
Our customers say:
Non-monotonic Reasoning: 2nd International Workshop, Grassau, Frg, June 13-15, 1988. Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Michael Reinfrank
Contains papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. This book presents a snapshot of advances in this research area, and provides discussions of different problems and approaches.
Marc Notes: Papers presented at Second International Workshop on Non-Monotonic Reasoning, held in June 1988 in Grassau, West Germany.; Bibliography: p. 236-237. Table of Contents: 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.
Contributor Bio: Kleer, Johan De Johan de Kleer directs the Systems and Practices Laboratory at the Xerox Palo Alto Research Center.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 28, 1988 |
| ISBN13 | 9783540507017 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 240 |
| Dimensions | 156 × 234 × 13 mm · 362 g |
| Language | German |
| Editor | Ginsberg, Matthew L. |
| Editor | Kleer, Johan De |
| Editor | Reinfrank, Michael |
| Editor | Sandewall, Erik |
See all of Michael Reinfrank ( e.g. Paperback Book )