Logical Tools for Handling Change in Agent-Based Systems More Books Like This

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
Logical Foundations of Computer Science Logical Foundations of Computer Science
2009
Transactions on Rough Sets XXII Transactions on Rough Sets XXII
2020
Computation and Logic in the Real World Computation and Logic in the Real World
2007
Computer Science Logic Computer Science Logic
2010
Fundamentals of Logic and Computation Fundamentals of Logic and Computation
2021
Fields of Logic and Computation Fields of Logic and Computation
2010
Algebraic Informatics Algebraic Informatics
2022
Models of Computation in Context Models of Computation in Context
2011
Temporal Logic and State Systems Temporal Logic and State Systems
2008