Conte aos seus amigos sobre este 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
Item sob encomenda (no estoque do fornecedor)
O que dizem nossos clientes:
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.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 28 de dezembro de 1988 |
| ISBN13 | 9783540507017 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 240 |
| Dimensões | 156 × 234 × 13 mm · 362 g |
| Idioma | German |
| Editor | Ginsberg, Matthew L. |
| Editor | Kleer, Johan De |
| Editor | Reinfrank, Michael |
| Editor | Sandewall, Erik |
Ver tudo de Michael Reinfrank ( por exemplo Paperback Book )