Freunden von diesem Artikel berichten:
Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies 2010 edition
Dov M. Gabbay
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies 2010 edition
Dov M. Gabbay
These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic.
316 pages, 26 black & white illustrations, biography
Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
Erscheinungsdatum | 15. Dezember 2009 |
ISBN13 | 9783642044069 |
Verlag | Springer-Verlag Berlin and Heidelberg Gm |
Seitenanzahl | 305 |
Maße | 166 × 243 × 21 mm · 576 g |
Sprache | Englisch |
Alle anzeigen
Weitere Titel von Dov M. Gabbay
Alle Titel von Dov M. Gabbay ansehen ( u. a. Gebundenes Buch und Taschenbuch )