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

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٠
٣ مارس
اللغة
EN
الإنجليزية
عدد الصفحات
٣١٥
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٣٫٤
‫م.ب.‬

المزيد من الكتب المشابهة

Coherent Systems Coherent Systems
Coherent Systems
٢٠٠٤
Revision, Acceptability and Context Revision, Acceptability and Context
Revision, Acceptability and Context
٢٠١٠
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
٢٠٠٧
Mathematical Aspects of Logic Programming Semantics Mathematical Aspects of Logic Programming Semantics
Mathematical Aspects of Logic Programming Semantics
٢٠١٦
Revolutions and Revelations in Computability Revolutions and Revelations in Computability
Revolutions and Revelations in Computability
٢٠٢٢
Universal Algebra Universal Algebra
Universal Algebra
٢٠١١

المزيد من كتب Dov M. Gabbay & Karl Schlechta

Greek, Indian and Arabic Logic Greek, Indian and Arabic Logic
Greek, Indian and Arabic Logic
٢٠٠٤
Logic: A History of its Central Concepts Logic: A History of its Central Concepts
Logic: A History of its Central Concepts
٢٠١٢
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)
٢٠١١
Neural-Symbolic Cognitive Reasoning Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
٢٠٠٨
A New Perspective on Nonmonotonic Logics A New Perspective on Nonmonotonic Logics
A New Perspective on Nonmonotonic Logics
٢٠١٦
Logic from Russell to Church Logic from Russell to Church
Logic from Russell to Church
٢٠٠٩