Powiedz znajomym o tym przedmiocie:
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
Dov M. Gabbay
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.
315 pages, 26 black & white illustrations, biography
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 1 marca 2012 |
ISBN13 | 9783642261879 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 305 |
Wymiary | 155 × 235 × 16 mm · 444 g |
Język | English |
Pokaż wszystko
Więcej od Dov M. Gabbay
Zobacz wszystko od Dov M. Gabbay ( np. Hardcover Book i Paperback Book )