메뉴 건너뛰기




Volumn 170, Issue 6-7, 2006, Pages 507-541

Conformant planning via heuristic forward search: A new approach

Author keywords

Heuristic search planning; Planning under uncertainty; Relaxed plan heuristic

Indexed keywords

BENCHMARKING; HEURISTIC METHODS; PROBLEM SOLVING; SEARCH ENGINES; UNCERTAIN SYSTEMS;

EID: 33645339523     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1080/08839510600753782     Document Type: Article
Times cited : (112)

References (31)
  • 2
    • 0013365496 scopus 로고    scopus 로고
    • Conformant planning via symbolic model checking
    • A. Cimatti, and M. Roveri Conformant planning via symbolic model checking JAIR 13 2000 305 338
    • (2000) JAIR , vol.13 , pp. 305-338
    • Cimatti, A.1    Roveri, M.2
  • 4
    • 84881072062 scopus 로고
    • A computing procedure for quantification theory
    • M. Davis, and H. Putnam A computing procedure for quantification theory J. ACM 7 3 1960 201 215
    • (1960) J. ACM , vol.7 , Issue.3 , pp. 201-215
    • Davis, M.1    Putnam, H.2
  • 5
    • 84919401135 scopus 로고
    • A machine program for theorem proving
    • M. Davis, G. Logemann, and D. Loveland A machine program for theorem proving Comm. ACM 5 7 1962 394 397
    • (1962) Comm. ACM , vol.5 , Issue.7 , pp. 394-397
    • Davis, M.1    Logemann, G.2    Loveland, D.3
  • 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. Artificial Intelligence Res. 14 2001 253 302
    • (2001) J. Artificial Intelligence Res. , vol.14 , pp. 253-302
    • Hoffmann, J.1    Nebel, B.2
  • 9
    • 0002889051 scopus 로고    scopus 로고
    • Planning as satisfiability with expressive action languages: Concurrency, constraints, and nondeterminism
    • A. Cohn F. Giunchiglia B. Selman Breckenridge, CO Morgan Kaufmann San Mateo, CA
    • E. Giunchiglia Planning as satisfiability with expressive action languages: Concurrency, constraints, and nondeterminism A. Cohn F. Giunchiglia B. Selman Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR-00) Breckenridge, CO 2000 Morgan Kaufmann San Mateo, CA
    • (2000) Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR-00)
    • Giunchiglia, E.1
  • 10
    • 0014638440 scopus 로고
    • Some philosophical problems from the standpoint of artificial intelligence
    • B. Meltzer D. Michie Edinburgh University Press Edinburgh, UK
    • J. McCarthy, and P.J. Hayes Some philosophical problems from the standpoint of artificial intelligence B. Meltzer D. Michie Machine Intelligence, vol. 4 1969 Edinburgh University Press Edinburgh, UK 463 502
    • (1969) Machine Intelligence, Vol. 4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.J.2
  • 11
    • 0028498153 scopus 로고
    • The computational complexity of propositional STRIPS planning
    • T. Bylander The computational complexity of propositional STRIPS planning Artificial Intelligence 69 1-2 1994 165 204
    • (1994) Artificial Intelligence , vol.69 , Issue.1-2 , pp. 165-204
    • Bylander, T.1
  • 12
    • 77952044626 scopus 로고    scopus 로고
    • Polynomial-length planning spans the polynomial hierarchy
    • S. Flesca S. Greco N. Leone G. Ianni Cosenza, Italy Springer-Verlag Berlin
    • H. Turner Polynomial-length planning spans the polynomial hierarchy S. Flesca S. Greco N. Leone G. Ianni Logics in Artificial Intelligence - 8th European Conference JELIA-02 Cosenza, Italy 2002 Springer-Verlag Berlin 111 124
    • (2002) Logics in Artificial Intelligence - 8th European Conference JELIA-02 , pp. 111-124
    • Turner, H.1
  • 13
    • 0035369022 scopus 로고    scopus 로고
    • Planning as heuristic search
    • B. Bonet, and H. Geffner Planning as heuristic search Artificial Intelligence 129 1-2 2001 5 33
    • (2001) Artificial Intelligence , vol.129 , Issue.1-2 , pp. 5-33
    • Bonet, B.1    Geffner, H.2
  • 14
    • 26444605769 scopus 로고    scopus 로고
    • Extracting small unsatisfiable cores from unsatisfiable boolean formulas
    • L. Zhang, S. Malik, Extracting small unsatisfiable cores from unsatisfiable boolean formulas, in: Proc. SAT-03, 2003
    • (2003) Proc. SAT-03
    • Zhang, L.1    Malik, S.2
  • 15
    • 0031074857 scopus 로고    scopus 로고
    • Fast planning through planning graph analysis
    • A.L. Blum, and M.L. Furst Fast planning through planning graph analysis Artificial Intelligence 90 1-2 1997 279 298
    • (1997) Artificial Intelligence , vol.90 , Issue.1-2 , pp. 279-298
    • Blum, A.L.1    Furst, M.L.2
  • 19
    • 4644364683 scopus 로고    scopus 로고
    • Conformant planning via symbolic model checking and heuristic search
    • A Cimatti, M. Roveri, and P. Bertoli Conformant planning via symbolic model checking and heuristic search Artificial Intelligence 159 1-2 2004 127 206
    • (2004) Artificial Intelligence , vol.159 , Issue.1-2 , pp. 127-206
    • Cimatti, A.1    Roveri, M.2    Bertoli, P.3
  • 25
    • 0033332766 scopus 로고    scopus 로고
    • Constructing conditional plans by a theorem-prover
    • J. Rintanen Constructing conditional plans by a theorem-prover J. Artificial Intelligence Res. 10 1999 323 352
    • (1999) J. Artificial Intelligence Res. , vol.10 , pp. 323-352
    • Rintanen, J.1
  • 26
    • 0037372121 scopus 로고    scopus 로고
    • A logic programming approach to knowledge-state planning, II: The DLVK system
    • T. Eiter, W. Faber, N. Leone, and G. Pfeifer A logic programming approach to knowledge-state planning, II: The DLVK system Artificial Intelligence 144 1-2 2003 157 211
    • (2003) Artificial Intelligence , vol.144 , Issue.1-2 , pp. 157-211
    • Eiter, T.1    Faber, W.2    Leone, N.3    Pfeifer, G.4
  • 27
    • 84898688040 scopus 로고    scopus 로고
    • Combining the expressiveness of UCPOP with the efficiency of Graphplan
    • S. Steel R. Alami Recent Advances in AI Planning. 4th European Conference on Planning (ECP'97) Toulouse, Springer-Verlag Berlin
    • B.C. Gazen, and C. Knoblock Combining the expressiveness of UCPOP with the efficiency of Graphplan S. Steel R. Alami Recent Advances in AI Planning. 4th European Conference on Planning (ECP'97) Toulouse, France Lecture Notes in Artificial Intelligence vol. 1348 1997 Springer-Verlag Berlin 221 233
    • (1997) France Lecture Notes in Artificial Intelligence , vol.1348 , pp. 221-233
    • Gazen, B.C.1    Knoblock, C.2


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