conftrace_

epistemic planning

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (4) modal logic (3) belief revision (3) dynamic epistemic logic (2) multi-agent planning (2) automated planning (2) logical separability (1) false belief task (1) knowledge and belief (1) action language (1)

Papers

KCVR: Knowledge-Centric Video Reconstruction for Structured Pedagogical Summarization via Dynamic Graph Planning ACL 2026 Towards Epistemic-Doxastic Planning with Observation and Revision AAAI 2024 Mental Actions and Explainability in Kripkean Semantics: What Else do I Know? (Student Abstract) AAAI 2021 Multi-Agent Belief Base Revision IJCAI 2021 Decidability Results in First-Order Epistemic Planning IJCAI 2020 Expectation-Aware Planning: A Unifying Framework for Synthesizing and Executing Self-Explaining Plans for Human-Aware Planning AAAI 2020 Implicit Coordination Using FOND Planning AAAI 2020 Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019 Multi-agent Epistemic Planning with Common Knowledge IJCAI 2018 Small Undecidable Problems in Epistemic Planning IJCAI 2018