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 및 카를 슐레히타
    • US$149.99
    • US$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월 3일
언어
EN
영어
길이
315
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
3.4
MB

비슷한 책 더 보기

Coherent Systems Coherent Systems
Coherent Systems
2004년
Revision, Acceptability and Context 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
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007년
Mathematical Aspects of Logic Programming Semantics Mathematical Aspects of Logic Programming Semantics
Mathematical Aspects of Logic Programming Semantics
2016년
Revolutions and Revelations in Computability Revolutions and Revelations in Computability
Revolutions and Revelations in Computability
2022년
Universal Algebra Universal Algebra
Universal Algebra
2011년

Dov M. Gabbay & 카를 슐레히타의 도서 더 보기

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년