On the Use of Prime Implicates in Conformant Planning

Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010

Volumn , Issue , 2010, Pages 1205-1210

  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

CNF FORMULAS; CONFORMANT PLANNING; EXPERIMENTAL EVALUATION; INITIAL STATE; PRIME IMPLICATE; SCALING-UP; SOUNDNESS AND COMPLETENESS; STATE OF THE ART; TRANSITION FUNCTIONS;

ARTIFICIAL INTELLIGENCE;

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

References (10)

1. Brafman, R., and Hoffmann, J. 2004. Conformant planning via heuristic forward search: A new approach. In Koenig, S.; Zilberstein, S.; and Koehler, J., eds., Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04), 355-364. Whistler, Canada: Morgan Kaufmann.
2. Bryce, D.; Kambhampati, S.; and Smith, D. 2006. Planning Graph Heuristics for Belief Space Search. Journal of Artificial Intelligence Research 26:35-99.
3. Darwiche, A. 2001. Decomposable negation normal form. Journal of the ACM 48(4):608-647.
4. de Kleer, J. 1992. An improved incremental algorithm for computing prime implicates. In AAAI, 780-785.
5. Palacios, H., and Geffner, H. 2007. From Conformant into Classical Planning: Efficient Translations that may be Complete Too. In ICAPS.
6. Piette, C.; Hamadi, Y.;; and Saiuml, L. 2008. Vivifying Propositional Clausal Formulae. In ECAI, 525-529.
7. Smith, D., and Weld, D. 1998. Conformant graphplan. In AAAI, 889-896.
8. To, S. T.; Pontelli, E.; and Son, T. C. 2009. A Conformant Planner with Explicit Disjunctive Representation of Belief States. In ICAPS.
9. To, S. T.; and Son, T. C.; Pontelli, E. 2010. A New Approach to Conformant Planning using CNF. To Appear In ICAPS.
10. 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.