메뉴 건너뛰기




Volumn , Issue , 2009, Pages 305-312

A conformant planner with explicit disjunctive representation of belief states

Author keywords

[No Author keywords available]

Indexed keywords

COMPARATIVE EVALUATIONS; DISJUNCTIVE NORMAL FORM; EFFICIENT ENCODING; ENHANCED PERFORMANCE; NOVEL DESIGN;

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

References (12)
  • 1
    • 0034271027 scopus 로고    scopus 로고
    • Computational complexity of planning and approximate planning in the presence of incompleteness
    • C. Baral, V. Kreinovich, and R. Trejo. Computational complexity of planning and approximate planning in the presence of incompleteness. AIJ, 122:241-267, 2000.
    • (2000) AIJ , vol.122 , pp. 241-267
    • Baral, C.1    Kreinovich, V.2    Trejo, R.3
  • 2
    • 13444256696 scopus 로고    scopus 로고
    • Conformant planning via heuristic forward search: A new approach
    • R. Brafman and J. Hoffmann. Conformant planning via heuristic forward search: A new approach. In ICAPS, 355-364, 2004.
    • (2004) ICAPS , pp. 355-364
    • Brafman, R.1    Hoffmann, J.2
  • 3
    • 0026913667 scopus 로고
    • Symbolic boolean manipulation with ordered binary decision diagrams
    • September
    • R. E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293-318, September 1992.
    • (1992) ACM Computing Surveys , vol.24 , Issue.3 , pp. 293-318
    • Bryant, R.E.1
  • 4
    • 33746045571 scopus 로고    scopus 로고
    • Planning Graph Heuristics for Belief Space Search
    • D. Bryce et al. Planning Graph Heuristics for Belief Space Search. JAIR, 26:35-99, 2006.
    • (2006) JAIR , vol.26 , pp. 35-99
    • Bryce, D.1
  • 5
    • 4644364683 scopus 로고    scopus 로고
    • Conformant Planning via Symbolic Model Checking and Heuristic Search
    • A. Cimatti et al. Conformant Planning via Symbolic Model Checking and Heuristic Search. AIJ, 159:127-206, 2004.
    • (2004) AIJ , vol.159 , pp. 127-206
    • Cimatti, A.1
  • 7
    • 58349101960 scopus 로고    scopus 로고
    • From Conformant into Classical Planning: Efficient Translations that may be Complete Too
    • H. Palacios and H. Geffner. From Conformant into Classical Planning: Efficient Translations that may be Complete Too. In ICAPS, 2007.
    • (2007) ICAPS
    • Palacios, H.1    Geffner, H.2
  • 8
    • 0031619318 scopus 로고    scopus 로고
    • Conformant graphplan
    • D.E. Smith and D.S. Weld. Conformant graphplan. In AAAI, pp. 889-896, 1998.
    • (1998) AAAI , pp. 889-896
    • Smith, D.E.1    Weld, D.S.2
  • 9
    • 0035124264 scopus 로고    scopus 로고
    • Formalizing sensing actions - A transition function based approach
    • January
    • T.C. Son and C. Baral. Formalizing sensing actions - a transition function based approach. Artificial Intelligence, 125(1-2):19-91, January 2001.
    • (2001) Artificial Intelligence , vol.125 , Issue.1-2 , pp. 19-91
    • Son, T.C.1    Baral, C.2
  • 10
    • 52449125781 scopus 로고    scopus 로고
    • On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information
    • T.C. Son and PH. Tu. On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. In KRR, 481-491, 2006.
    • (2006) KRR , pp. 481-491
    • Son, T.C.1    Tu, P.H.2
  • 11
    • 29344439432 scopus 로고    scopus 로고
    • Conformant Planning for Domains with Constraints - New Approach
    • T.C. Son, PH. Tu, M. Gelfond, and R. Morales. Conformant Planning for Domains with Constraints - New Approach. AAAI, pp. 1211-1216, 2005.
    • (2005) AAAI , pp. 1211-1216
    • Son, T.C.1    Tu, P.H.2    Gelfond, M.3    Morales, R.4
  • 12
    • 70350623134 scopus 로고    scopus 로고
    • Improving performance of conformant planners
    • Springer
    • D-V. Tran, H-K. Nguyen, E. Pontelli, and T.C. Son. Improving performance of conformant planners. In PADL, pp. 239-253. Springer, 2009.
    • (2009) PADL , pp. 239-253
    • Tran, D.-V.1    Nguyen, H.-K.2    Pontelli, E.3    Son, T.C.4


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