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 €

Description de l’éditeur

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
Informatique et Internet
SORTIE
2010
3 mars
LANGUE
EN
Anglais
LONGUEUR
315
Pages
ÉDITIONS
Springer Berlin Heidelberg
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
3,4
Mo
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