-
1
-
-
85120101175
-
-
J. Allen J. Hendler A. Tate Readings in Planning, San Mateo, CA 1990
-
(1990)
-
-
-
2
-
-
0029405902
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
R. Motwani P. Raghavan Randomized Algorithms 1995 Cambridge University Press Cambridge
-
(1995)
-
-
Motwani, R.1
Raghavan, P.2
-
21
-
-
85120146467
-
-
C.H. Papadimitriou Computational Complexity 1994 Addison Wesley Reading, MA
-
(1994)
-
-
Papadimitriou, C.H.1
-
22
-
-
85125003135
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|