epistemic logic

An Epistemic Perspective on Agent Awareness AAAI 2026 A Logical Analysis of Hanabi AAAI 2025 Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies IJCAI 2025 Dynamic Epistemic Friction in Dialogue CoNLL 2025 Solving Epistemic Logic Programs Using Generate-and-Test with Propagation AAAI 2025 Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments IJCAI 2025 BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change AAAI 2024 Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024 General Epistemic Abstract Argumentation Framework: Semantics and Complexity IJCAI 2024 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Common Knowledge of Abstract Groups AAAI 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023 Epistemic Logic of Likelihood and Belief IJCAI 2022 Prevailing in the Dark: Information Walls in Strategic Games AAAI 2022 Propositional Gossip Protocols under Fair Schedulers IJCAI 2022 A Simple Framework for Cognitive Planning AAAI 2021 Epistemic Logic of Know-Who AAAI 2021 How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021 Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks IJCAI 2021 On the Learnability of Knowledge in Multi-Agent Logics IJCAI 2021 Updating the Belief Promotion Operator IJCAI 2021 Epistemic Integrity Constraints for Ontology-Based Data Management AAAI 2020 Knowing-How under Uncertainty (Extended Abstract) IJCAI 2020 On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020