Rethinking epistemic logic with belief bases
From MaRDI portal
Publication:2307332
DOI10.1016/j.artint.2020.103233zbMath1435.03036arXiv1812.07079OpenAlexW3004999595MaRDI QIDQ2307332
Publication date: 27 March 2020
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.07079
Related Items (6)
A semantics for hyperintensional belief revision based on information bases ⋮ The logic of framing effects ⋮ Implicit Knowledge in Unawareness Structures - Extended Abstract - ⋮ Awareness as potential for knowledge ⋮ A computationally grounded logic of graded belief ⋮ Special issue on autonomous agents modelling other agents: guest editorial
Uses Software
Cites Work
- Announcements to attentive agents
- The dynamics of awareness
- Logical theories of intention and the database perspective
- Interactive unawareness
- Logics of communication and change
- Epistemic logic for rule-based agents
- Introspective forgetting
- Reasoning about knowledge of unawareness
- Belief, awareness, and limited reasoning
- A guide to completeness and complexity for modal logics of knowledge and belief
- Learning conjunctions of Horn clauses
- Awareness and partitional information structures
- Reasoning about information change
- Input/output logics
- Resource bounded belief revision
- Local change
- A practical approach to revising prioritized knowledge bases
- Autonomous agents modelling other agents: a comprehensive survey and open problems
- Impossible worlds and the logic of imagination
- A general possible worlds framework for reasoning about knowledge and belief
- The price of universality
- A logic of believing, knowing, and inferring
- A textbook of belief dynamics. Theory change and database updating
- Semantics for knowledge and change of awareness
- A logic for reasoning about knowledge of unawareness
- Inexact knowledge with introspection
- A simple logic for reasoning about incomplete knowledge
- Explicit and Implicit Knowledge in Neighbourhood Models
- Epistemic planning for single- and multi-agent systems
- Theory contraction and base contraction unified
- ARROW UPDATE LOGIC
- Tracking Information
- The Dynamics of Syntactic Knowledge
- Dynamic Epistemic Logic and Knowledge Puzzles
- Dynamic logic for belief revision
- Inductive Logic Programming: Theory and methods
- Kernel contraction
- Reasoning about rational, but not logically omniscient, agents
- Forgetting complex propositions
- Merging Information Under Constraints: A Logical Framework
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Rethinking epistemic logic with belief bases
