Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 15. Dezember 2009
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

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