메뉴 건너뛰기




Volumn 3, Issue , 2010, Pages 1341-1348

Merging example plans into generalized plans for non-deterministic environments

Author keywords

Agent Reasoning: Knowledge Representation; Planning

Indexed keywords

AUTONOMOUS AGENTS; MULTI AGENT SYSTEMS; STATIC ANALYSIS;

EID: 78650949742     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (7)

References (14)
  • 1
    • 85166261608 scopus 로고    scopus 로고
    • Planning with incomplete information as heuristic search in belief space
    • B. Bonet and H. Geffner. Planning with incomplete information as heuristic search in belief space. In Proc. of AIPS, pages 52-61, 2000.
    • (2000) Proc. of AIPS , pp. 52-61
    • Bonet, B.1    Geffner, H.2
  • 3
    • 0038517219 scopus 로고    scopus 로고
    • Weak, strong, and strong cyclic planning via symbolic model checking
    • A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Meli, 147(1-2):35-84, 2003.
    • (2003) Artif. Meli , vol.147 , Issue.1-2 , pp. 35-84
    • Cimatti, A.1    Pistore, M.2    Roveri, M.3    Traverso, P.4
  • 4
    • 0035369425 scopus 로고    scopus 로고
    • *: A heuristic search algorithm that finds solutions with loops
    • *: A heuristic search algorithm that finds solutions with loops. Artif. Intell., 129(1-2):35-62, 2001.
    • (2001) Artif. Intell. , vol.129 , Issue.1-2 , pp. 35-62
    • Hansen, E.A.1    Zilberstein, S.2
  • 5
    • 84890304446 scopus 로고    scopus 로고
    • Contingent planning via heuristic forward search with implicit belief states
    • J. Hoffmann and R. I. Brafman. Contingent planning via heuristic forward search with implicit belief states. In Proc. of ICAPS, pages 71-80, 2005.
    • (2005) Proc. of ICAPS , pp. 71-80
    • Hoffmann, J.1    Brafman, R.I.2
  • 6
    • 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. J. Artif. Intell. Res. (JAIR), 14:253-302, 2001.
    • (2001) J. Artif. Intell. Res. (JAIR) , vol.14 , pp. 253-302
    • Hoffmann, J.1    Nebel, B.2
  • 7
    • 84899908432 scopus 로고    scopus 로고
    • A model of contigent planning for agent programming languages
    • Y. Lesperance, G. D. Giacomo, and A. N. Ozgovde. A model of contigent planning for agent programming languages. In Proc. of AAMAS, pages 477-484, 2008.
    • (2008) Proc. of AAMAS , pp. 477-484
    • Lesperance, Y.1    Giacomo, G.D.2    Ozgovde, A.N.3
  • 8
    • 84880731557 scopus 로고    scopus 로고
    • Planning with loops
    • H. J. Levesque. Planning with loops. In Proc. of IJGAI, pages 509-515, 2005.
    • (2005) Proc. of IJGAI , pp. 509-515
    • Levesque, H.J.1
  • 9
    • 0039488517 scopus 로고    scopus 로고
    • Parametric shape analysis via 3-valued logic
    • M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. TOPLAS, 24(3):217-298, 2002.
    • (2002) TOPLAS , vol.24 , Issue.3 , pp. 217-298
    • Sagiv, M.1    Reps, T.2    Wilhelm, R.3
  • 10
    • 34247261593 scopus 로고    scopus 로고
    • Hierarchical planning in BDI agent programming languages: A formal approach
    • S. Sardina, L. de Silva, and L. Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of AAMAS, pages 1001-1008, 2006.
    • (2006) Proc. of AAMAS , pp. 1001-1008
    • Sardina, S.1    De Silva, L.2    Padgham, L.3
  • 11
    • 57749181751 scopus 로고    scopus 로고
    • Learning generalized plans using abstract counting
    • S. Srivastava, N. Immerman, and S. Zilberstein. Learning generalized plans using abstract counting. In Proc. of AAAI, pages 991-997, 2008.
    • (2008) Proc. of AAAI , pp. 991-997
    • Srivastava, S.1    Immerman, N.2    Zilberstein, S.3
  • 13
    • 1942420378 scopus 로고    scopus 로고
    • DISTILL: Learning domain-specific planners by example
    • E. Winner and M. M. Veloso. DISTILL: Learning domain-specific planners by example. In Proc. of ICML, pages 800-807, 2003.
    • (2003) Proc. of ICML , pp. 800-807
    • Winner, E.1    Veloso, M.M.2


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