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

    • £109.99
    • £109.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
SIZE
3.4
MB
Coherent Systems Coherent Systems
2004
Revision, Acceptability and Context Revision, Acceptability and Context
2010
Algebraic and Proof-theoretic Aspects of Non-classical Logics Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007
Mathematical Aspects of Logic Programming Semantics Mathematical Aspects of Logic Programming Semantics
2016
Revolutions and Revelations in Computability Revolutions and Revelations in Computability
2022
Universal Algebra Universal Algebra
2011
A New Perspective on Nonmonotonic Logics A New Perspective on Nonmonotonic Logics
2016
Logic from Russell to Church Logic from Russell to Church
2009
Mediaeval and Renaissance Logic Mediaeval and Renaissance Logic
2008
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
2003
Handbook of Philosophical Logic Handbook of Philosophical Logic
2013
British Logic in the Nineteenth Century British Logic in the Nineteenth Century
2008