A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

Xiao Huang, Biqing Fang, Hai Wan +1

In recent years, multi-agent epistemic planning has received attention from both dynamic logic and planning communities. Existing implementations of multi-agent epistemic planning…