Knowledge compilation in the modal logic S5, Proc. 24th AAAI Conference on Artificial Intelligence, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00624482
Belief tracking for planning with sensing : Width, complexity and approximations, J. Artificial Intelligence Research, 2014. ,
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
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 knowledge compilation map, J. Artificial Intelligence Research, vol.17, pp.229-264, 2002. ,
Vardi : Reasoning about Knowledge, 1995. ,
Towards a knowledge compilation map for heterogeneous representation languages, Proc. 23rd International Joint Conference on Artificial Intelligence, p.2013, 2013. ,
Action representation and partially observable planning using epistemic logic, Proc. 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp.1067-1072, 2003. ,
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. ,
DPLL with a trace : From SAT to knowledge compilation ,
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
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
Algorithms and Data Structures in VLSI Design : OBDD ? Foundations and Applications, 1998. ,
DOI : 10.1007/978-3-642-58940-9
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. ,