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
    • 134,99 €
    • 134,99 €

Descrizione dell’editore

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.

GENERE
Computer e internet
PUBBLICATO
2010
3 marzo
LINGUA
EN
Inglese
PAGINE
315
EDITORE
Springer Berlin Heidelberg
DIMENSIONE
3,4
MB

Altri libri di 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