Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach.

Qihui Feng, Gerhard Lakemeyer

Browse the full AAAI paper archive.