Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 15 december 2009
Om omslag och titel inte matchar är det titeln som gäller

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

Dov M. Gabbay

Lägg till din iMusic-önskelista

Finns även som:

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 15 december 2009
ISBN13 9783642044069
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 305
Mått 166 × 243 × 21 mm   ·   576 g
Språk Engelska  

Visa alla

Fler produkter med Dov M. Gabbay