Logical Tools for Handling Change in Agent-Based Systems Logical Tools for Handling Change in Agent-Based Systems

Logical Tools for Handling Change in Agent-Based Systems

Dov M. Gabbay & Karl Schlechta
    • $189.99
    • $189.99

Publisher Description

This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals.

GENRE
Computing & Internet
RELEASED
2010
3 March
LANGUAGE
EN
English
LENGTH
315
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
3.4
MB

More Books by Dov M. Gabbay & Karl Schlechta

A New Perspective on Nonmonotonic Logics A New Perspective on Nonmonotonic Logics
A New Perspective on Nonmonotonic Logics
2016
Logic from Russell to Church Logic from Russell to Church
Logic from Russell to Church
2009
Mediaeval and Renaissance Logic Mediaeval and Renaissance Logic
Mediaeval and Renaissance Logic
2008
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
2003
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2013
British Logic in the Nineteenth Century British Logic in the Nineteenth Century
British Logic in the Nineteenth Century
2008