메뉴 건너뛰기
AI Magazine
Volumn 18, Issue 2, 1997, Pages 67-97
Refinement planning as a unifying framework for plan synthesis
Author keywords

[No Author keywords available]
Indexed keywords

EID: 11544363000     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (48)
References (4)
  • 1
    • 0004911487 scopus 로고
    • OPTIMUM-AIV: A knowledge-based planning and scheduling system for spacecraft AIV
    • eds. M. Fox and M. Zweben, San Francisco, Calif.: Morgan Kaufmann
    • Aarup, M.; Arentoft, M. M.; Parrod, Y.; and Stokes, I. 1994. OPTIMUM-AIV: A Knowledge-Based Planning and Scheduling System for Spacecraft AIV. In Intelligent Scheduling, eds. M. Fox and M. Zweben, 451-470. San Francisco, Calif.: Morgan Kaufmann.
    • (1994) Intelligent Scheduling , pp. 451-470
    • Aarup, M.1    Arentoft, M.M.2    Parrod, Y.3    Stokes, I.4
  • 3
    • 0029332411 scopus 로고
    • Complexity, decidability, and undecidability results for domain-independent planning
    • Erol, K.; Nau, D.; and Subrahmanian, V. 1995. Complexity, Decidability, and Undecidability Results for Domain-Independent Planning. Artificial Intelligence 76(1-2): 75-88.
    • (1995) Artificial Intelligence , vol.76 , Issue.1-2 , pp. 75-88
    • Erol, K.1    Nau, D.2    Subrahmanian, V.3
  • 4
    • 2842560201 scopus 로고
    • STRIPS: A new approach to the application of theorem proving to problem solving
    • Fikes, R. E., and Nilsson, N. J. 1971. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2(3-4): 189-208.
    • (1971) Artificial Intelligence , vol.2 , Issue.3-4 , pp. 189-208
    • Fikes, R.E.1    Nilsson, N.J.2

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