메뉴 건너뛰기




Volumn , Issue , 2009, Pages 114-121

Semantic attachments for domain-independent planning systems

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN-INDEPENDENT PLANNING; FLUENTS; MANIPULATION PLANNING; PACKING PROBLEMS; REAL-WORLD PROBLEM; SUB-PROBLEMS;

EID: 78349301394     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (115)

References (19)
  • 1
    • 0033897011 scopus 로고    scopus 로고
    • Using temporal logics to express search control knowledge for planning
    • Bacchus, F., and Kabanza, F. 2000. Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1-2):123-191.
    • (2000) Artif. Intell. , vol.116 , Issue.1-2 , pp. 123-191
    • Bacchus, F.1    Kabanza, F.2
  • 3
    • 0001657540 scopus 로고
    • Fast planning through planning graph analysis
    • Blum, A., and Furst, M. 1995. Fast planning through planning graph analysis. In Proc. IJCAI, 1636-1642.
    • (1995) Proc. IJCAI , pp. 1636-1642
    • Blum, A.1    Furst, M.2
  • 5
    • 77951543894 scopus 로고    scopus 로고
    • A robot task planer that merges symbolic and geometric reasoning
    • IOS Press
    • Cambon, S.; Gravot, F.; and Alami, R. 2004. A robot task planer that merges symbolic and geometric reasoning. In Proc. ECAI, 895-899. IOS Press.
    • (2004) Proc. ECAI , pp. 895-899
    • Cambon, S.1    Gravot, F.2    Alami, R.3
  • 6
    • 78349237089 scopus 로고    scopus 로고
    • Using the context-enhanced additive heuristic for temporal and numeric planning
    • Eyerich, P.; Mattmüller, R.; and Röger, G. 2009. Using the context-enhanced additive heuristic for temporal and numeric planning. In Proc. ICAPS.
    • (2009) Proc. ICAPS
    • Eyerich, P.1    Mattmüller, R.2    Röger, G.3
  • 7
    • 84880879843 scopus 로고    scopus 로고
    • Identifying and managing combinatorial optimisation subproblems in planning
    • Fox, M., and Long, D. 2001. Identifying and managing combinatorial optimisation subproblems in planning. In Proc. IJCAI, 445-452.
    • (2001) Proc. IJCAI , pp. 445-452
    • Fox, M.1    Long, D.2
  • 8
    • 27444434099 scopus 로고    scopus 로고
    • PDDL2.1: An extension to PDDL for expressing temporal planning domains
    • Fox, M., and Long, D. 2003. PDDL 2.1: an extension to PDDL for expressing temporal planning domains. JAIR 20:61-124. (Pubitemid 41530519)
    • (2003) Journal of Artificial Intelligence Research , vol.20 , pp. 61-124
    • Fox, M.1    Long, D.2
  • 9
    • 58849131584 scopus 로고    scopus 로고
    • Unifying the causal graph and additive heuristics
    • Helmert, M., and Geffner, H. 2008. Unifying the causal graph and additive heuristics. In Proc. ICAPS, 140-147.
    • (2008) Proc. ICAPS , pp. 140-147
    • Helmert, M.1    Geffner, H.2
  • 10
    • 33749001469 scopus 로고    scopus 로고
    • The Fast Downward planning system
    • Helmert, M. 2006. The Fast Downward planning system. JAIR 26:191-246.
    • (2006) JAIR , vol.26 , pp. 191-246
    • Helmert, M.1
  • 11
    • 60549086221 scopus 로고    scopus 로고
    • Concise finite-domain representations for PDDL planning tasks
    • Helmert, M. 2009. Concise finite-domain representations for PDDL planning tasks. Artif. Intell. 173:503-535.
    • (2009) Artif. Intell. , vol.173 , pp. 503-535
    • Helmert, M.1
  • 13
    • 84929987619 scopus 로고
    • Multiple-agent planning systems
    • Konolige, K., and Nilsson, N. J. 1980. Multiple-agent planning systems. In AAAI, 138-142.
    • (1980) AAAI , pp. 138-142
    • Konolige, K.1    Nilsson, N.J.2
  • 14
    • 0041526107 scopus 로고    scopus 로고
    • TALplanner: A temporal logic based forward chaining planner
    • Kvarnström, J., and Doherty, P. 2000. TALplanner: A temporal logic based forward chaining planner. Ann. Math. Artif. Intell. 30(1-4):119-169.
    • (2000) Ann. Math. Artif. Intell. , vol.30 , Issue.1-4 , pp. 119-169
    • Kvarnström, J.1    Doherty, P.2
  • 15
    • 0034156490 scopus 로고    scopus 로고
    • The three-dimensional bin packing problem
    • Martello, S.; Pisinger, D.; and Vigo, D. 2000. The three-dimensional bin packing problem. Oper. Res. 48:256-267.
    • (2000) Oper. Res. , vol.48 , pp. 256-267
    • Martello, S.1    Pisinger, D.2    Vigo, D.3
  • 18
    • 0003958887 scopus 로고    scopus 로고
    • Scaling up planning by teasing out resource scheduling
    • Srivastava, B., and Kambhampati, S. 1999. Scaling up planning by teasing out resource scheduling. In Proc. ECP, 172-186.
    • (1999) Proc. ECP , pp. 172-186
    • Srivastava, B.1    Kambhampati, S.2
  • 19
    • 0001733633 scopus 로고
    • Prolegomena to a theory of mechanized formal reasoning
    • Weyhrauch, R. W. 1980. Prolegomena to a theory of mechanized formal reasoning. Artif. Intell. 13(1-2):133-170.
    • (1980) Artif. Intell. , vol.13 , Issue.1-2 , pp. 133-170
    • Weyhrauch, R.W.1


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