. Referencesandersen, Conditional epistemic planning, Lecture Notes in Computer Science, vol.7519, pp.94-106, 2012.

. Aucher, G. Bolander, T. Aucher, and . Bolander, Undecidability in epistemic planning (extended version), 2013.

]. Aucher, An Internal Version of Epistemic Logic, Studia Logica, vol.34, issue.2, pp.1-22, 2010.
DOI : 10.1007/s11225-010-9227-9

URL : https://hal.archives-ouvertes.fr/inria-00556030

]. Aucher, DEL-sequents for regression and epistemic planning, Journal of Applied Non-Classical Logics, vol.17, issue.4, pp.337-367, 2012.
DOI : 10.1080/11663081.2012.736703

URL : https://hal.archives-ouvertes.fr/hal-00856471

A. Baltag and L. Moss, Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004.
DOI : 10.1023/B:SYNT.0000024912.56773.5e

. Baltag, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, TARK, pp.43-56, 1998.
DOI : 10.1007/978-3-319-20451-2_38

]. S. Baron-cohen, Mindblindness: An essay on autism and theory of mind, 1997.

A. Bolander, M. Bolander, and . Andersen, Epistemic planning for singleand multi-agent systems, Journal of Applied Non-Classical Logics, vol.3, issue.3, pp.9-34, 2011.
DOI : 10.1016/0010-0277(83)90004-5

]. T. Bylander, The computational complexity of propositional STRIPS planning, Artificial Intelligence, vol.69, issue.1-2, pp.165-204, 1994.
DOI : 10.1016/0004-3702(94)90081-7

. Erol, Complexity, decidability and undecidability results for domain-independent planning, Artificial Intelligence, vol.76, issue.1-2, pp.75-88, 1995.
DOI : 10.1016/0004-3702(94)00080-K

. Fagin, Reasoning about knowledge, 1995.

. Ghallab, Automated Planning: Theory and Practice, 2004.

D. Gmytrasiewicz, P. Gmytrasiewicz, and . Doshi, A framework for sequential planning in multiagent settings, Journal of Artificial Intelligence Research, vol.24, issue.1, pp.49-79, 2005.

K. C. Hampson, A. Hampson, and . Kurucz, On modal products with the logic of 'elsewhere, Advances in Modal Logic, 2012.

. Löwe, Benedikt Löwe, Eric Pacuit, and Andreas Witzel. DEL planning and some tractable cases, LORI, pp.179-192, 2011.

. Madani, On the undecidability of probabilistic planning and infinite-horizon partially observable markov decision problems, Proceedings of the National Conference on Artificial Intelligence, pp.541-548, 1999.

V. Meyer, . Ch, W. Meyer, and . Van-der-hoek, Epistemic Logic for AI and Computer Science, 1995.
DOI : 10.1017/CBO9780511569852

M. S. Miller, L. S. Miller, and . Moss, The Undecidability of Iterated Modal Relativization, Studia Logica, vol.82, issue.4, pp.373-407, 2005.
DOI : 10.1007/s11225-005-3612-9

S. Pardo, M. Pardo, and . Sadrzadeh, Planning in the logics of communication and change, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.1231-1232, 2012.

W. Premack, G. Premack, and . Woodruff, Does the chimpanzee have a theory of mind?, ICAPS, pp.515-526, 1978.
DOI : 10.1126/science.705342

. Van-benthem, Logics of communication and change. Information and Computation Johan van Benthem. Logical Dynamics of Information and Interaction Tractable multiagent planning for epistemic goals, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), pp.1620-1662, 2002.

D. Van, Dynamic epistemic logic with assignment, Autonomous Agents and Multi-agent Systems (AAMAS 2005), pp.141-148, 2005.