Conformant planning for domains with constraints - A new approach

Proceedings of the National Conference on Artificial Intelligence

Volumn 3, Issue , 2005, Pages 1211-1216

  Son, Tran Cao ^a   Tu, Phan Huy ^a   Gelfond, Michael ^b   Ricardo Morales, A ^b  

^a New Mexico State University   (United States)

^b Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; BENCHMARKING; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS;

ACTION LANGUAGES (AL); CONFORMANT PLANNING; STATE CONSTRAINTS; TRANSITION DIAGRAMS;

CONSTRAINT THEORY;

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

References (19)

1. Baral, C.; and Gelfond, M. 2000. Reasoning agents in dynamic domains. In Minker, J,. ed., LBAI, 257-279.
2. Baral, C.; Kreinovich, V.; and Trejo, R. 2000. Computational complexity of planning and approximate planning in the presence of incompleteness. AIJ 122:241-267.
3. Bonet, B., and Geffner, H. 2001. GPT: a tool for planning with uncertainty and partial information. IJCAI-01 Workshop on Planning with Uncertainty and Partial Information, 82-87.
4. Brafman, R., and Hoffmann, J. 2004. Conformant planning via heuristic forward search: A new approach. ICAPS-04, 355-364.
5. Bryce, D., and Kambhampati, S. 2004. Heuristic Guidance Measures for Conformant Planning. ICAPS-04, 365-375.
6. Castellini, C.; Giunchiglia, E.; and Tacchella, A. 2003. SAT-based Planning in Complex Domains: Concurrency, Constraints and Nondeterminism. AIJ 147:85-117.
7. Cimatti, A., and Roveri, M. 2000. Conformant Planning via Symbolic Model Checking. JAIR 13:305-338.
8. Cimatti, A. et al. 2004. Conformant Planning via Symbolic Model Checking and Heuristic Search. AIJ 159:127-206.
9. κ System. AIJ 144, 157-211.
10. Gelfond, M., and Morales, R. 2004. Encoding conformant planning in a-prolog. In Proceedings of DRT'04, LNCS.
11. Kurien, J.; Nayak, P. P.; and Smith, D. E. 2002. Fragment-based conformant planning. In AIPS, 153-162.
12. McCain, N., and Turner, H. 95. A causal theory of ramifications and qualifications. IJCAI, 1978-1984.
13. Petrick, R., and Bacchus, F. 2002. A knowledge-based approach to planning with incomplete information and sensing. AIPS-02, 212-222.
14. Rintanen, J. 2000. Constructing conditional plans by a theorem proven JAIR 10:323-352.
15. Smith, D. & Weld, D. 1998. Conformant Graphplan. AAAI.
16. Son, T., and Baral, C. 2001. Formalizing sensing actions - a transition function based approach. AIJ 125(1-2):19-91.
17. Son, T. et al. 2004. Planning with Sensing Actions and Incomplete Information using Logic Programming. LPNMR, 261-274.
18. Thiebaux, S.; Hoffmann, J.; and Nebel, B. 2003. In Defense of PDDL Axioms. IJCAI'03.
19. Turner, H. 2002. Polynomial-length planning spans the polynomial hierarchy. JELIA'02, 111-124.