Shop2: An HTN planning system, Journal of Artificial Intelligence Research, vol.20, pp.379-404, 2003. ,
Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.34, issue.2, pp.189-208, 1971. ,
OBDD-based universal planning for multiple synchronized agents in non-deterministic domains, Artificial Intelligence Planning Systems, pp.167-176, 2000. ,
DOI : 10.1007/3-540-48317-9_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7598
Sapa: A domain-independent heuristic metric temporal planner, Proceedings of the European Conference on Planning, 2001. ,
Unifying SAT-based and graph-based planning, Workshop on Logic-Based Artificial Intelligence, 1999. ,
Fast planning through planning graph analysis, Artificial Intelligence, vol.90, issue.1-2, pp.279-298, 1997. ,
DOI : 10.1016/S0004-3702(96)00047-1
Proofs and Refutations, 1976. ,