Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 15 grudnia 2009
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 15 grudnia 2009
ISBN13 9783642044069
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 305
Wymiary 166 × 243 × 21 mm   ·   576 g
Język English  

Pokaż wszystko

Więcej od Dov M. Gabbay