Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - tiistai 15. joulukuuta 2009
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Dov M. Gabbay

Lisää iMusic-toivelistallesi

Löytyy myös muodossa:

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 15. joulukuuta 2009
ISBN13 9783642044069
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 305
Mitta 166 × 243 × 21 mm   ·   576 g
Kieli English  

Näytä kaikki

Lisää tuotteita Dov M. Gabbay