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

    • €134.99
    • €134.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
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
3.4
MB
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
Logical Foundations of Computer Science Logical Foundations of Computer Science
2009
A New Perspective on Nonmonotonic Logics A New Perspective on Nonmonotonic Logics
2016
Handbook of Philosophical Logic Handbook of Philosophical Logic
2013
Conditionals and Modularity in General Logics Conditionals and Modularity in General Logics
2011
Handbook of Philosophical Logic Handbook of Philosophical Logic
2011
Analysis and Synthesis of Logics Analysis and Synthesis of Logics
2008
Mathematical Problems from Applied Logic I Mathematical Problems from Applied Logic I
2006