메뉴 건너뛰기




Volumn 117, Issue 1, 2000, Pages 1-29

Towards efficient universal planning: A randomized approach

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; POLYNOMIALS; RANDOM PROCESSES; STRATEGIC PLANNING;

EID: 0033899630     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00103-4     Document Type: Article
Times cited : (11)

References (28)
  • 1
    • 85120101175 scopus 로고
    • J. Allen J. Hendler A. Tate Readings in Planning, San Mateo, CA 1990
    • (1990)
  • 2
    • 0029405902 scopus 로고
    • Complexity results for SAS^+ planning
    • C. Bäckström B. Nebel Complexity results for SAS ^+ planning Comput. Intelligence 11 4 1995 625 655
    • (1995) Comput. Intelligence , vol.11 , Issue.4 , pp. 625-655
    • Bäckström, C.1    Nebel, B.2
  • 3
    • 0029332894 scopus 로고
    • Expressive equivalence of planning formalisms
    • C. Bäckström Expressive equivalence of planning formalisms Artificial Intelligence 76 1–2 1995 17 34
    • (1995) Artificial Intelligence , vol.76 , Issue.1–2 , pp. 17-34
    • Bäckström, C.1
  • 5
    • 0028430255 scopus 로고
    • Partial-order planning: Evaluating possible efficiency gains
    • A. Barret D.S. Weld Partial-order planning: Evaluating possible efficiency gains Artificial Intelligence 67 1994 71 112
    • (1994) Artificial Intelligence , vol.67 , pp. 71-112
    • Barret, A.1    Weld, D.S.2
  • 6
    • 0031074857 scopus 로고    scopus 로고
    • Fast planning through planning graph analysis
    • A.L. Blum M.L. Furst Fast planning through planning graph analysis Artificial Intelligence 90 1–2 1997 281 300
    • (1997) Artificial Intelligence , vol.90 , Issue.1–2 , pp. 281-300
    • Blum, A.L.1    Furst, M.L.2
  • 7
    • 0028498153 scopus 로고
    • The computational complexity of propositional STRIPS planning
    • T. Bylander The computational complexity of propositional STRIPS planning Artificial Intelligence 69 1994 165 204
    • (1994) Artificial Intelligence , vol.69 , pp. 165-204
    • Bylander, T.1
  • 8
    • 0002227762 scopus 로고
    • Penguins can make cake
    • D. Chapman Penguins can make cake AI Magazine 10 4 1989 45 50
    • (1989) AI Magazine , vol.10 , Issue.4 , pp. 45-50
    • Chapman, D.1
  • 9
    • 85120126035 scopus 로고
    • M. Garey D. Johnson Computers and Intractability: A Guide to the Theory of NP-Completeness 1979 Freeman New York
    • (1979)
    • Garey, M.1    Johnson, D.2
  • 10
    • 84941512518 scopus 로고
    • Ginsberg replies to Chapman and Schoppers
    • M.L. Ginsberg Ginsberg replies to Chapman and Schoppers AI Magazine 10 4 1989 61 62
    • (1989) AI Magazine , vol.10 , Issue.4 , pp. 61-62
    • Ginsberg, M.L.1
  • 11
    • 0024885107 scopus 로고
    • Universal planning: An (almost) universally bad idea
    • M.L. Ginsberg Universal planning: An (almost) universally bad idea AI Magazine 10 4 1989 40 44
    • (1989) AI Magazine , vol.10 , Issue.4 , pp. 40-44
    • Ginsberg, M.L.1
  • 12
    • 0014632428 scopus 로고
    • Application of theorem proving to planning
    • C. Green Application of theorem proving to planning Proc. IJCAI-69, Washington, DC 1969 219 239
    • (1969) , pp. 219-239
    • Green, C.1
  • 13
    • 0001951331 scopus 로고
    • A catalog of complexity classes
    • D.S. Johnson A catalog of complexity classes J. van Leeuwen Handbook of Theoretical Computer Science: Algorithms and Complexity, Vol. A, Chapter 2 1990 Elsevier Amsterdam 67 161
    • (1990) , pp. 67-161
    • Johnson, D.S.1
  • 14
    • 0030353461 scopus 로고    scopus 로고
    • On the size of reactive plans
    • P. Jonsson C. Bäckström On the size of reactive plans Proc. AAAI-96, Portland, OR 1996 1182 1187
    • (1996) , pp. 1182-1187
    • Jonsson, P.1    Bäckström, C.2
  • 15
    • 27144487482 scopus 로고    scopus 로고
    • Tractable plan existence does not imply tractable plan generation
    • P. Jonsson C. Bäckström Tractable plan existence does not imply tractable plan generation Ann. Math. Artificial Intelligence 22 3–4 1998 281 296
    • (1998) Ann. Math. Artificial Intelligence , vol.22 , Issue.3–4 , pp. 281-296
    • Jonsson, P.1    Bäckström, C.2
  • 16
    • 0000517449 scopus 로고
    • Turing machines that take advice
    • R.M. Karp R. Lipton Turing machines that take advice Enseign. Math. 28 1982 191 209
    • (1982) Enseign. Math. , vol.28 , pp. 191-209
    • Karp, R.M.1    Lipton, R.2
  • 17
    • 0040061529 scopus 로고    scopus 로고
    • New collapse consequences of NP having small circuits
    • J. Köbler O. Watanabe New collapse consequences of NP having small circuits SIAM J. Comput. 28 1 1999 311 324
    • (1999) SIAM J. Comput. , vol.28 , Issue.1 , pp. 311-324
    • Köbler, J.1    Watanabe, O.2
  • 18
    • 0023421864 scopus 로고
    • Planning as search: A quantitative approach
    • R.E. Korf Planning as search: A quantitative approach Artificial Intelligence 33 1987 65 88
    • (1987) Artificial Intelligence , vol.33 , pp. 65-88
    • Korf, R.E.1
  • 20
    • 85120094979 scopus 로고
    • R. Motwani P. Raghavan Randomized Algorithms 1995 Cambridge University Press Cambridge
    • (1995)
    • Motwani, R.1    Raghavan, P.2
  • 21
    • 85120146467 scopus 로고
    • C.H. Papadimitriou Computational Complexity 1994 Addison Wesley Reading, MA
    • (1994)
    • Papadimitriou, C.H.1
  • 22
    • 85125003135 scopus 로고
    • The non-linear nature of plans
    • E.D. Sacerdoti The non-linear nature of plans Proc. IJCAI-75, Tbilisi, Georgia 1975 206 214
    • (1975) , pp. 206-214
    • Sacerdoti, E.D.1
  • 23
    • 0014776888 scopus 로고
    • Relationships between nondeterministic and deterministic tape complexities
    • W.J. Savitch Relationships between nondeterministic and deterministic tape complexities J. Comput. System Sci. 4 2 1970 177 192
    • (1970) J. Comput. System Sci. , vol.4 , Issue.2 , pp. 177-192
    • Savitch, W.J.1
  • 24
    • 0001871991 scopus 로고
    • Universal plans for reactive robots in unpredictable environments
    • M.J. Schoppers Universal plans for reactive robots in unpredictable environments Proc. IJCAI-87, Milan, Italy 1987 1039 1046
    • (1987) , pp. 1039-1046
    • Schoppers, M.J.1
  • 25
    • 0008487586 scopus 로고
    • In defense of reaction plans as caches
    • M.J. Schoppers In defense of reaction plans as caches AI Magazine 10 4 1989 51 62
    • (1989) AI Magazine , vol.10 , Issue.4 , pp. 51-62
    • Schoppers, M.J.1
  • 26
    • 0028608724 scopus 로고
    • Estimating reaction plan size
    • M.J. Schoppers Estimating reaction plan size Proc. AAAI-94, Seattle, WA 1994 1238 1244
    • (1994) , pp. 1238-1244
    • Schoppers, M.J.1
  • 27
    • 0001111512 scopus 로고
    • Near-optimal plans, tractability, and reactivity
    • B. Selman Near-optimal plans, tractability, and reactivity Proc. 4th Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany 1994 521 529
    • (1994) , pp. 521-529
    • Selman, B.1
  • 28
    • 84880659749 scopus 로고    scopus 로고
    • A reactive planner for a model-based executive
    • B.C. Williams P.P. Nayak A reactive planner for a model-based executive Proc. IJCAI-97, Nagoya, Japan 1997 1178 1185
    • (1997) , pp. 1178-1185
    • Williams, B.C.1    Nayak, P.P.2


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