Fast planning in domains with derived predicates: An approach based on Rule-Action Graphs and local search

Proceedings of the National Conference on Artificial Intelligence

Volumn 3, Issue , 2005, Pages 1157-1162

  Gerevini, Alfonso ^a   Saetti, Alessandro ^a   Serina, Ivan ^b   Toninelli, Paolo ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

^b UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; GRAPH THEORY; HEURISTIC PROGRAMMING; PROBLEM SOLVING; SEARCH ENGINES;

BENCHMARK PROBLEMS; FORMALIZATION; RULE-ACTION GRAPHS; SEARCH SPACE;

LOGIC PROGRAMMING;

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

References (11)

1. Barret, A., Christianson, D., Friedman, M., Kwok, C., Golden, K., Penberthy, S., Sun, Y., Weld, D. 1995. UCPOP User's Manual T.R. 93-09-08d, Univ. of Washington, Computer Science Dept.
2. Blum, A., and Furst, M. 1997. Fast planning through planning graph analysis. Artificial Intelligence 90:281-300.
3. Edelkamp, S., Hoffmann, J., Littman, M., Younes, H. (Eds.) 2004. In Abstract Booklet of the IPC-4 Planners (ICAPS-04).
4. Edelkamp, S., and Hoffmann, J. 2004. PDDL2.2: The language for the Classic Part of the 4th International Planning Competition. T.R. no. 195: Institut für Informatik, Freiburg, Germany.
5. Fox, M., and Long, D. 2003 PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains JAIR 20:61-124.
6. Gerevini, A., Saetti, A., and Serina, I. 2003. Planning through Stochastic Local Search and Temporal Action Graphs. JAIR 20:239-290.
7. Gerevini, A., Saetti, A., Serina, I, and Toninelli, P. 2005. Planning with Derived Predicates through Rule-Action Graphs and Relaxed-Plan Heuristics. T.R. 2005-01-40, DEA, Univ. Brescia.
8. McAllester, D., and Rosenblitt, D. 1991. Systematic nonlinear planning. In Proc. of AAAI-91.
9. Nguyen, X., and Kambhampati, S. 2001. Reviving partial order planning. In Proc. of IJCAI-01.
10. Penberthy, J., and Weld, D. 1992. UCPOP: A sound, complete, partial order planner for ADL. Proc. of KR'92.
11. Thièbaux, S., Hoffmann, J., and Nebel, B. 2003. In defense of PDDL Axioms. Proc. of IJCAI-03.