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

    • 149,99 $
    • 149,99 $

От издателя

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.

ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2010
3 марта
ЯЗЫК
EN
английский
ОБЪЕМ
315
стр.
ИЗДАТЕЛЬ
Springer Berlin Heidelberg
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
3,4
МБ
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
Greek, Indian and Arabic Logic Greek, Indian and Arabic Logic
2004
Logic: A History of its Central Concepts Logic: A History of its Central Concepts
2012
Handbook of Quantum Logic and Quantum Structures (Enhanced Edition) Handbook of Quantum Logic and Quantum Structures (Enhanced Edition)
2011
Neural-Symbolic Cognitive Reasoning Neural-Symbolic Cognitive Reasoning
2008
A New Perspective on Nonmonotonic Logics A New Perspective on Nonmonotonic Logics
2016
Logic from Russell to Church Logic from Russell to Church
2009