Intelligent Agents and Multi-Agent Systems
From MaRDI portal
Publication:5316670
DOI10.1007/b107183zbMath1116.68091MaRDI QIDQ5316670
Publication date: 14 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (27)
Some remarks on the model theory of epistemic plausibility models ⋮ Belief revision and projection in the epistemic situation calculus ⋮ My beliefs about your beliefs: a case study in theory of mind and epistemic logic ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Simulative belief logic ⋮ Dynamics of lying ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Truth-tracking by belief revision ⋮ Revocable belief revision ⋮ Finite-Chain Graded Modal Logic ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ A computationally grounded logic of graded belief ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Probabilistic dynamic belief revision ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling ⋮ On Revocable and Irrevocable Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Dynamic Epistemic Logics ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Prolegomena to dynamic logic for belief revision ⋮ From knowledge-based programs to graded belief-based programs. I: On-line reasoning
This page was built for publication: Intelligent Agents and Multi-Agent Systems