Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 15 de diciembre de 2009
En caso de que portada y título no coincidan, el título será el correcto

Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies 2010 edition

Dov M. Gabbay

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 15 de diciembre de 2009
ISBN13 9783642044069
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 305
Dimensiones 166 × 243 × 21 mm   ·   576 g
Lengua English  

Mostrar todo

Mas por Dov M. Gabbay