Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 15 december 2009
Indien omslag en titel niet overeenkomen, is de titel correct

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

Dov M. Gabbay

Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 15 december 2009
ISBN13 9783642044069
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 305
Afmetingen 166 × 243 × 21 mm   ·   576 g
Taal en grammatica Engels  

Alles tonen

Meer door Dov M. Gabbay