메뉴 건너뛰기




Volumn 141, Issue , 2006, Pages 600-604

Unified definition of heuristics for classical planning

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL PLANNING; CONDITION; CONDITIONAL EFFECTS; DESCRIPTION LANGUAGES; EXPONENTIALS; FORMALISATION; OPERATOR DESCRIPTION; PLANNING ALGORITHMS; SATISFIABILITY; SIZE-REDUCTION;

EID: 58349088280     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article
Times cited : (8)

References (9)
  • 1
    • 0035369022 scopus 로고    scopus 로고
    • Planning as heuristic search
    • Blai Bonet and Héctor Geffner, 'Planning as heuristic search', Artificial Intelligence, 129(1-2), 5-33, (2001).
    • (2001) Artificial Intelligence , vol.129 , Issue.1-2 , pp. 5-33
    • Bonet, B.1    Geffner, H.2
  • 3
    • 2842560201 scopus 로고
    • STRIPS: A new approach to the application of theorem proving to problem solving
    • Richard E. Fikes and Nils J. Nilsson, 'STRIPS: a new approach to the application of theorem proving to problem solving', Artificial Intelligence, 2(2-3), 189-208, (1971).
    • (1971) Artificial Intelligence , vol.2 , Issue.2-3 , pp. 189-208
    • Fikes, R.E.1    Nilsson, N.J.2
  • 7
    • 0036377352 scopus 로고    scopus 로고
    • The FF planning system: Fast plan generation through heuristic search
    • J. Hoffmann and B. Nebel, 'The FF planning system: Fast plan generation through heuristic search', Journal of Artificial Intelligence Research, 14, 253-302, (2001).
    • (2001) Journal of Artificial Intelligence Research , vol.14 , pp. 253-302
    • Hoffmann, J.1    Nebel, B.2
  • 8
    • 0033522716 scopus 로고    scopus 로고
    • Using regression-match graphs to control search in planning
    • Drew V. McDermott, 'Using regression-match graphs to control search in planning', Artificial Intelligence, 109(1-2), 111-159, (1999).
    • (1999) Artificial Intelligence , vol.109 , Issue.1-2 , pp. 111-159
    • McDermott, D.V.1
  • 9
    • 84886067483 scopus 로고    scopus 로고
    • State-space traversal techniques for planning
    • Albert-Ludwigs-Universität Freiburg, Institut für Informatik
    • Jussi Rintanen, 'State-space traversal techniques for planning', Report 220, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, (2005).
    • (2005) Report 220
    • Rintanen, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.