What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS

Guang Hu, Tim Miller, Nir Lipovetzky

Epistemic planning --- planning with knowledge and belief --- is essential in many multi-agent and human-agent interaction domains. Most state-of-the-art epistemic planners solve t…