Recomienda este artículo a tus amigos:
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
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
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
Ver todo de Dov M. Gabbay ( Ej. Hardcover Book y Paperback Book )