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 US$
    • 149,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2010
3 tháng 3
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
315
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
3,4
Mb
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