dynamic epistemic logic

A Logic of General Attention Using Edge-Conditioned Event Models IJCAI 2025 DEL-ToM: Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic EMNLP 2025 Dynamic Epistemic Friction in Dialogue CoNLL 2025 MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic EMNLP 2023 On Verifying Expectations and Observations of Intelligent Agents IJCAI 2022 Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks IJCAI 2021 Concurrent Games in Dynamic Epistemic Logic IJCAI 2020 Decidability Results in First-Order Epistemic Planning IJCAI 2020 Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic IJCAI 2020 Converging on Common Knowledge IJCAI 2019 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019 Reachability Games in Dynamic Epistemic Logic IJCAI 2019 Game Description Language and Dynamic Epistemic Logic Compared IJCAI 2018 Small Undecidable Problems in Epistemic Planning IJCAI 2018 Non-Determinism and the Dynamics of Knowledge IJCAI 2017