메뉴 건너뛰기




Volumn , Issue , 2011, Pages 2033-2038

On the effectiveness of CNF and DNF representations in contingent planning

Author keywords

[No Author keywords available]

Indexed keywords

CNF REPRESENTATIONS; COMPETITIVE PERFORMANCE; CONFORMANT PLANNING; HEURISTIC FUNCTIONS; REPRESENTATION SCHEMES; SEARCH ALGORITHMS; TWO-STATE;

EID: 80055033540     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-339     Document Type: Conference Paper
Times cited : (25)

References (11)
  • 1
    • 78751688119 scopus 로고    scopus 로고
    • A Translation-based Approach to Contingent Planning
    • A. Albore, H. Palacios, and H. Geffner. A Translation-based Approach to Contingent Planning. In IJCAI, 2009.
    • (2009) IJCAI
    • Albore, A.1    Palacios, H.2    Geffner, H.3
  • 2
    • 0034271027 scopus 로고    scopus 로고
    • Computational complexity of planning and approximate planning in the presence of incompleteness
    • C. Baral et al. 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
  • 3
    • 32944468402 scopus 로고    scopus 로고
    • Strong planning under partial observability
    • DOI 10.1016/j.artint.2006.01.004, PII S0004370206000075
    • P. Bertoli et al. Strong planning under partial observability. Artificial Intelligence, 170(4-5):337-384, 2006. (Pubitemid 43262056)
    • (2006) Artificial Intelligence , vol.170 , Issue.4-5 , pp. 337-384
    • Bertoli, P.1    Cimatti, A.2    Roveri, M.3    Traverso, P.4
  • 4
    • 84890304446 scopus 로고    scopus 로고
    • Contingent planning via heuristic forward search with implicit belief states
    • J. Hoffmann and R. Brafman. Contingent planning via heuristic forward search with implicit belief states. In ICAPS, 2005.
    • (2005) ICAPS
    • Hoffmann, J.1    Brafman, R.2
  • 5
    • 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
  • 7
    • 0026992168 scopus 로고
    • Conditional nonlinear planning
    • M. Peot and D.E. Smith. Conditional nonlinear planning. AIPS, 1992.
    • (1992) AIPS
    • Peot, M.1    Smith, D.E.2
  • 8
    • 13444301648 scopus 로고    scopus 로고
    • Complexity of planning with partial observability
    • 2004
    • J. Rintanen. 2004. Complexity of planning with partial observability. In ICAPS, 2004.
    • (2004) ICAPS
    • Rintanen, J.1
  • 9
    • 78650621458 scopus 로고    scopus 로고
    • A Conformant Planner with Explicit Disjunctive Representation of Belief States
    • S. T. To, E. Pontelli, and T. C. Son. A Conformant Planner with Explicit Disjunctive Representation of Belief States. In ICAPS, 2009.
    • (2009) ICAPS
    • To, S.T.1    Pontelli, E.2    Son, T.C.3
  • 10
    • 78650610630 scopus 로고    scopus 로고
    • A New Approach to Conformant Planning using CNF
    • S. T. To, T. C. Son, and E. Pontelli. A New Approach to Conformant Planning using CNF. In ICAPS, 2010.
    • (2010) ICAPS
    • To, S.T.1    Son, T.C.2    Pontelli, E.3
  • 11
    • 80054831926 scopus 로고    scopus 로고
    • Contingent Planning as AND/OR forward Search with Disjunctive Representation
    • S. T. To, T. C. Son, and E. Pontelli. Contingent Planning as AND/OR forward Search with Disjunctive Representation. In ICAPS, 2011.
    • (2011) ICAPS
    • To, S.T.1    Son, T.C.2    Pontelli, E.3


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