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
    • $149.99
    • $149.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
Computers & Internet
RELEASED
2010
March 3
LANGUAGE
EN
English
LENGTH
315
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
3.4
MB

More Books Like This

Coherent Systems Coherent Systems
Coherent Systems
2004
Condition Condition
Condition
2013
Algebraic Theory for Multivariable Linear Systems (Enhanced Edition) Algebraic Theory for Multivariable Linear Systems (Enhanced Edition)
Algebraic Theory for Multivariable Linear Systems (Enhanced Edition)
1983
Foundations of Generic Optimization Foundations of Generic Optimization
Foundations of Generic Optimization
2006
Fundamentals of the Theory of Computation Fundamentals of the Theory of Computation
Fundamentals of the Theory of Computation
1998
Designs from Linear Codes Designs from Linear Codes
Designs from Linear Codes
2018

More Books by Dov M. Gabbay & Karl Schlechta

Greek, Indian and Arabic Logic 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
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)
Handbook of Quantum Logic and Quantum Structures (Enhanced Edition)
2011
Neural-Symbolic Cognitive Reasoning Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
2008
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