Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 15 décembre 2009
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Dov M. Gabbay

Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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édias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 15 décembre 2009
ISBN13 9783642044069
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 305
Dimensions 166 × 243 × 21 mm   ·   576 g
Langue et grammaire English  

Afficher tout

Plus par Dov M. Gabbay