Research map / Multi-agent systems and games / Human-AI and goal-conditioned
'Knowing Whether' in Proper Epistemic Knowledge Bases
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Closest papers by meaning
- In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds (AAAI 2018 · similarity 0.90)
- Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability (AAAI 2019 · similarity 0.87)
- Knowledge-Base Degrees of Inconsistency: Complexity and Counting (AAAI 2021 · similarity 0.87)
- Model Checking Probabilistic Knowledge: A PSPACE Case (AAAI 2016 · similarity 0.87)
- A Logical Analysis of Hanabi (AAAI 2025 · similarity 0.86)
- An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (AAAI 2025 · similarity 0.85)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.