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

Descripción editorial

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.

GÉNERO
Informática e Internet
PUBLICADO
2010
3 de marzo
IDIOMA
EN
Inglés
EXTENSIÓN
315
Páginas
EDITORIAL
Springer Berlin Heidelberg
VENDEDOR
Springer Nature B.V.
TAMAÑO
3.4
MB

Más libros de 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