Martin Holm Jensen. Planning Using Dynamic Epistemic Logic: Correspondence and Complexity. In Davide Grossi, Olivier Roy, Huaxin Huang, editors, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Volume 8196 of Lecture Notes in Computer Science, pages 316-320, Springer, 2013. [doi]
Abstract is missing.