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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540507017 - 28 de diciembre de 1988
En caso de que portada y título no coincidan, el título será el correcto

Michael Reinfrank
Non-monotonic Reasoning: 2nd International Workshop, Grassau, Frg, June 13-15, 1988. Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Precio
$ 40,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de diciembre de 1988
ISBN13 9783540507017
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 240
Dimensiones 156 × 234 × 13 mm   ·   362 g
Lengua Alemán  
Editor Ginsberg, Matthew L.
Editor Kleer, Johan De
Editor Reinfrank, Michael
Editor Sandewall, Erik

Mere med samme udgiver

Ver todo de Michael Reinfrank ( Ej. Paperback Book )