Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - December 15, 2009
In case cover and title do not match, the title is correct

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 Books     Hardcover Book   (Book with hard spine and cover)
Released December 15, 2009
ISBN13 9783642044069
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 305
Dimensions 166 × 243 × 21 mm   ·   576 g
Language English  

Show all

More by Dov M. Gabbay