M. Bienvenu, P. Héì-ene-fargier, and . Marquis, Knowledge compilation in the modal logic S5, Proc. 24th AAAI Conference on Artificial Intelligence, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00624482

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

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

A. Darwiche and P. Marquis, A knowledge compilation map, J. Artificial Intelligence Research, vol.17, pp.229-264, 2002.

R. Fagin, J. Y. Halpern, Y. Moses, and Y. Moshe, Vardi : Reasoning about Knowledge, 1995.

P. Héì-ene-fargier, A. Marquis, and . Niveau, Towards a knowledge compilation map for heterogeneous representation languages, Proc. 23rd International Joint Conference on Artificial Intelligence, p.2013, 2013.

A. Herzig, J. Lang, and P. Marquis, Action representation and partially observable planning using epistemic logic, Proc. 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp.1067-1072, 2003.

J. Hoffmann-et-ronen and I. , Brafman : Contingent planning via heuristic forward search with implicit belief states, Proc. 15th International Conference on Automated Planning and Scheduling (ICAPS 2005), pp.71-80, 2005.

J. Huang and A. Darwiche, DPLL with a trace : From SAT to knowledge compilation

L. Iocchi, T. Lukasiewicz, D. Nardi, and R. Rosati, Reasoning about actions with sensing under qualitative and probabilistic uncertainty, Proc. 16th European Conference on Artificial Intelligence, pp.818-822, 2004.
DOI : 10.1145/1459010.1459015

H. J. Levesque, All I know: A study in autoepistemic logic, Artificial Intelligence, vol.42, issue.2-3, pp.263-309, 1990.
DOI : 10.1016/0004-3702(90)90056-6

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

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.