Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 15 de dezembro de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 15 de dezembro de 2009
ISBN13 9783642044069
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 305
Dimensões 166 × 243 × 21 mm   ·   576 g
Idioma English  

Mostrar tudo

Mais por Dov M. Gabbay