메뉴 건너뛰기




Volumn 8, Issue , 1998, Pages 93-128

Synthesizing customized planners from specifications

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0343153354     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.428     Document Type: Article
Times cited : (6)

References (5)
  • 1
    • 0001951408 scopus 로고
    • Using temporal logic to control search in a forward chaining planner
    • IOS Press
    • Bacchus, F., & Kabanza, F. (1995). Using temporal logic to control search in a forward chaining planner. New Directions in AI Planning: EWSP 95, IOS Press, 141-153.
    • (1995) New Directions in AI Planning: EWSP , vol.95 , pp. 141-153
    • Bacchus, F.1    Kabanza, F.2
  • 3
    • 0028430255 scopus 로고
    • Partial order planning: Evaluating possible efficiency gains
    • Barrett, A., & Weld, D. (1994). Partial order planning: Evaluating possible efficiency gains. Artificial Intelligence, 67(1).
    • (1994) Artificial Intelligence , vol.67 , Issue.1
    • Barrett, A.1    Weld, D.2
  • 4
    • 0001657540 scopus 로고
    • Fast planning through planning graph analysis
    • Blum, A., & Furst, M. (1995). Fast planning through planning graph analysis. Proc IJCAI-95, 1636-1642.
    • (1995) Proc IJCAI-95 , pp. 1636-1642
    • Blum, A.1    Furst, M.2
  • 5
    • 0028555758 scopus 로고
    • A constraint-based approach to high school timetabling problems: A case study
    • Yoshikawa, M., Kaneko, K., Nomura, Y., & Watanabe, M. (1994). A constraint-based approach to high school timetabling problems: A case study. Proc. NCAI-94, 1111-1116.
    • (1994) Proc. NCAI-94 , pp. 1111-1116
    • Yoshikawa, M.1    Kaneko, K.2    Nomura, Y.3    Watanabe, M.4


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