A new approach to conformant planning using CNF

ICAPS 2010 - Proceedings of the 20th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2010, Pages 169-176

  To, Son Thanh ^a   Son, Tran Cao ^a   Pontelli, Enrico ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANT PLANNING; NEW APPROACHES; TRANSITION FUNCTIONS;

SCHEDULING; SEMANTICS;

PLANNING;

EID: 78650610630     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Brafman, R., and Hoffmann, J. 2004. Conformant planning via heuristic forward search: A new approach. In ICAPS, 355-364. (Pubitemid 40201863)
2. Bryant, R. E. 1992. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24(3):293-318.
3. Bryce, D.; Kambhampati, S.; and Smith, D. 2006. Planning Graph Heuristics for Belief Space Search. JAlR 26:35-99. (Pubitemid 44452207)
4. Cimatti, A.; Roveri, M.; and Bertoli, P. 2004. Conformant Planning via Symbolic Model Checking and Heuristic Search. AIJ 159:127-206.
5. Palacios, H., and Geffner, H. 2007. From Conformant into Classical Planning: Efficient Translations that may be Complete Too. In ICAPS.
6. Smith, D., and Weld, D. 1998. Conformant graphplan. In AAAI, 889-896.
7. To, S. T.; Pontelli, E.; and Son, T. C. 2009. A Conformant Planner with Explicit Disjunctive Representation of Belief States. In Proceedings of the 19th International Conference on Planning and Scheduling (ICAPS).
8. Tran, D.-V.; Nguyen, H.-K.; Pontelli, E.; and Son, T. C. 2009. Improving performance of conformant planners: Static analysis of declarative planning domain specifications. In PADL, LNCS 5418, 239-253. Springer.