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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540507017 - 1988. gada 28. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 38,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 22. sept.
Saņemiet paziņojumus par jauniem Michael Reinfrank izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1988. gada 28. decembris
ISBN13 9783540507017
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 240
Izmēri 156 × 234 × 13 mm   ·   362 g
Valoda Vācu  
Redaktors Ginsberg, Matthew L.
Redaktors Kleer, Johan De
Redaktors Reinfrank, Michael
Redaktors Sandewall, Erik

Vairāk no tā paša izdevēja

Skatīt visus Michael Reinfrank