Implicit, explicit and speculative knowledge
From MaRDI portal
Publication:1748464
DOI10.1016/J.ARTINT.2017.11.004zbMATH Open1444.03035OpenAlexW2774685358MaRDI QIDQ1748464FDOQ1748464
Authors: Xianqiang Yang 
Publication date: 11 May 2018
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2017.11.004
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)
Cites Work
- Modal logic
- Epistemic planning for single- and multi-agent systems
- Belief, awareness, and limited reasoning
- Title not available (Why is that?)
- Propositional quantifiers in modal logic1
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unawareness and partitional information structures
- Awareness and partitional information structures
- Interactive unawareness revisited
- Alternative semantics for unawareness
- Interactive unawareness
- Bayesian games with unawareness and unawareness perfection
- Modal logics with Belnapian truth values
- Title not available (Why is that?)
- Becoming aware of propositional variables
- Extensive games with possibly unaware players
- Dealing with logical omniscience: expressiveness and pragmatics
- The dynamics of awareness
- Reasoning about knowledge of unawareness
- Reasoning about knowledge of unawareness revisited
- Unawareness with ``possible possible worlds
- Awareness dynamics
- Twelve Angry Men: A Study on the Fine-Grain of Announcements
- Title not available (Why is that?)
- A logic for reasoning about knowledge of unawareness
- Bilattice public announcement logic
- Semantics for knowledge and change of awareness
- Expressivity Hierarchy of Languages for Epistemic Awareness Models
- Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
Cited In (17)
- Belief base: a minimal logic of fine-grained information dynamics
- Explicit and implicit knowledge in neighbourhood models
- Reasoning about knowledge of unawareness revisited
- Default knowledge and measures of specificity
- \textit{Awareness of} and \textit{awareness that}: their combination and dynamics
- MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
- Wanted dead or alive: epistemic logic for impure simplicial complexes
- Implicit Knowledge in Unawareness Structures - Extended Abstract -
- A formal model for explicit knowledge as awareness-of plus awareness-that
- On the factivity of implicit intersubjective knowledge
- Reasoning about manipulation in multi-agent systems
- Discovery and equilibrium in games with unawareness
- Awareness as potential for knowledge
- Excluded knowledge
- Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
- Reasoning about knowledge of unawareness
- A logic for reasoning about knowledge of unawareness
This page was built for publication: Implicit, explicit and speculative knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748464)
