Intelligent Agents and Multi-Agent Systems

DOI10.1007/B107183MaRDI QIDQ5316670zbMATH OpenFDO

Authors Guillaume Aucher

Publication date 14 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/B107183

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• A qualitative theory of dynamic interactive belief revision
• A qualitative theory of dynamic interactive belief revision
• Dynamic logic for belief revision
• scientific article; zbMATH DE number 108002
• On the logic of iterated belief revision

Cited in

(30)

• My beliefs about your beliefs: a case study in theory of mind and epistemic logic
• Simulative belief logic
• Truth-tracking by belief revision
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• DYNAMIC GRADED EPISTEMIC LOGIC
• Prolegomena to dynamic logic for belief revision
• A computationally grounded logic of graded belief
• On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
• Dynamic epistemic logics
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Probabilistic dynamic belief revision
• A Qualitative Theory of Cognitive Attitudes and their Change
• Finite-Chain Graded Modal Logic
• A modal framework for relating belief and signed information
• Temporal interaction of information and belief
• A qualitative theory of dynamic interactive belief revision
• Belief revision and projection in the epistemic situation calculus
• Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
• Dynamic Epistemic Logic as a Substructural Logic
• From knowledge-based programs to graded belief-based programs. I: On-line reasoning
• A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling
• Dynamics of lying
• Playing cards with Hintikka: an introduction to dynamic epistemic logic
• A dialogical semantics for Bonanno's system of belief revision
• On revocable and irrevocable belief revision
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Revocable belief revision
• Some remarks on the model theory of epistemic plausibility models
• Two logical faces of belief revision
• A Syntax-based Approach to Reasoning about Action and Belief Update

This page was built for publication: Intelligent Agents and Multi-Agent Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316670)