Intelligent Agents and Multi-Agent Systems
From MaRDI portal
Publication:5316670
DOI10.1007/B107183zbMATH Open1116.68091MaRDI QIDQ5316670FDOQ5316670
Authors: Guillaume Aucher
Publication date: 14 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cited In (30)
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic
- Simulative belief logic
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- Truth-tracking by belief revision
- DYNAMIC GRADED EPISTEMIC LOGIC
- A computationally grounded logic of graded belief
- Prolegomena to dynamic logic for belief revision
- Dynamic epistemic logics
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- A Qualitative Theory of Cognitive Attitudes and their Change
- Probabilistic dynamic belief revision
- 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
- 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
- Dynamics of lying
- 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)