A Modal Framework for Relating Belief and Signed Information
From MaRDI portal
Publication:3092293
DOI10.1007/978-3-642-22359-4_5zbMath1348.68264OpenAlexW14890571MaRDI QIDQ3092293
Laurent Perrussel, Emiliano Lorini, J-M. Thévenin
Publication date: 16 September 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_5
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)
Related Items (3)
Consistency-Based Reliability Assessment ⋮ Using inconsistency measures for estimating reliability ⋮ A modal type theory for formalizing trusted communications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- How to revise a total preorder
- Prolegomena to dynamic logic for belief revision
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
- Dynamic epistemic logic
- Propositional knowledge base revision and minimal change
- Reasoning about information change
- Handling locally stratified inconsistent knowledge bases
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
- On the logic of theory change: Partial meet contraction and revision functions
- Towards a Logic of Rational Agency
- Belief Revision From the Point of View of Doxastic Logic
- Intelligent Agents and Multi-Agent Systems
- Computational Logic in Multi-Agent Systems
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
This page was built for publication: A Modal Framework for Relating Belief and Signed Information
