. Bienvenu, Knowledge compilation in the modal logic S5, Proc. 24th AAAI Conference on Artificial Intelligence, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00624482

&. Bonet, . Geffner-]-blai, H. Bonet, and . Geffner, Belief tracking for planning with sensing: Width, complexity and approximations, J. Artificial Intelligence Research, 2014.

E. Randal and . Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.

E. Randal and . Bryant, Symbolic boolean manipulation with ordered binary decision diagrams Adnan Darwiche and Pierre Marquis. A knowledge compilation map, Darwiche & Marquis, pp.293-318229, 1992.

. Fagin, Reasoning about Knowledge, 1995.

. Herzig, Action representation and partially observable planning using epistemic logic Jörg Hoffmann and Ronen I. Brafman. Contingent planning via heuristic forward search with implicit belief states Jinbo Huang and Adnan Darwiche . DPLL with a trace: From SAT to knowledge compilation Reasoning about actions with sensing under qualitative and probabilistic uncertainty, Proc. 18th International Joint Conference on Artificial Intelligence (IJ- CAI 2003) Proc. 15th International Conference on Automated Planning and Scheduling (ICAPS 2005) Proc. 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) Proc. 16th European Conference on Artificial Intelligence, pp.1067-1072, 2003.

J. Hector and . Levesque, All I know: A study in autoepistemic logic, Artificial Intelligence, vol.42, issue.2-3, pp.263-309, 1990.

&. Meinel, C. Theobald, T. Meinel, and . Theobald, Algorithms and Data Structures in VLSI Design: OBDD ? Foundations and Applications, 1998.
DOI : 10.1007/978-3-642-58940-9

&. Petrick, . Bacchus, P. A. Ronald, F. Petrick, and . Bacchus, Extending the knowledge-based approach to planning with incomplete information and sensing, Proc. 14th International Conference on Automated Planning and Scheduling, pp.2-11, 2004.