is any epistemic action In DEL, one assumes that |A| > 1. The truth conditions for the programs ? are defined as follows: M, w |= [E, e]? iff M, w |= pre(e) implies (M, w) ? (E, e) |= ? M, w |= [? ? ?]? iff M, w |=, |= [? * ]? iff for all finite sequences ? ,
reducible to the model checking problem of the language L * DEL : an epistemic planning task T = (s 0 , A, ? g ) has a solution iff s 0 |= ¬[A * ]¬? g holds. Inria References Conditional epistemic planning, Lecture Notes in Computer Science, vol.7519, pp.94-106, 2012. ,
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
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
Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004. ,
DOI : 10.1023/B:SYNT.0000024912.56773.5e
The Logic of Public Announcements, Common Knowledge, and Private Suspicions, TARK, pp.43-56, 1998. ,
DOI : 10.1007/978-3-319-20451-2_38
Mindblindness: An essay on autism and theory of mind, 1997. ,
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
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
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
Reasoning about knowledge, 1995. ,
Automated Planning: Theory and Practice, 2004. ,
A framework for sequential planning in multiagent settings, Journal of Artificial Intelligence Research, vol.24, issue.1, pp.49-79, 2005. ,
On modal products with the logic of 'elsewhere, Advances in Modal Logic, 2012. ,
Knowledge and Belief, An Introduction to the Logic of the Two Notions, 1962. ,
DEL planning and some tractable cases, LORI, pp.179-192, 2011. ,
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. ,
Epistemic Logic for AI and Computer Science, 1995. ,
DOI : 10.1017/CBO9780511569852
The Undecidability of Iterated Modal Relativization, Studia Logica, vol.82, issue.4, pp.373-407, 2005. ,
DOI : 10.1007/s11225-005-3612-9
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. ,
Does the chimpanzee have a theory of mind?, Behavioral and Brain Sciences, vol.1, issue.04, pp.515-526, 1978. ,
DOI : 10.1126/science.705342
Complexity of planning with partial observability, ICAPS, pp.345-354, 2004. ,
Logical Dynamics of Information and Interaction, 2011. ,
DOI : 10.1017/CBO9780511974533
Logics of communication and change, Information and Computation, vol.204, issue.11, pp.2041620-1662, 2006. ,
DOI : 10.1016/j.ic.2006.04.006
Tractable multiagent planning for epistemic goals, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), pp.1167-1174, 2002. ,
Dynamic epistemic logic with assignment, Autonomous Agents and Multi-agent Systems (AAMAS 2005), pp.141-148, 2005. ,
Dynamic Epistemic Logic, volume 337 of Synthese library, 2007. ,