-
1
-
-
4243214234
-
Equivalence and tractability results for SAS+ planning
-
B. Nebel, W. Swartout, and C. Rich, editors, Cambridge, MA, Oct. Morgan Kaufmann
-
C. Backstrom. Equivalence and tractability results for SAS+ planning. In B. Nebel, W. Swartout, and C. Rich, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92), pages 126-137, Cambridge, MA, Oct. 1992. Morgan Kaufmann.
-
(1992)
Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92)
, pp. 126-137
-
-
Backstrom, C.1
-
2
-
-
0031074857
-
Fast planning through planning graph analysis
-
A. L. Blum and M. L. Furst. Fast planning through planning graph analysis. Artificial Intelligence, 90(l-2):279-298, 1997.
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1-2
, pp. 279-298
-
-
Blum, A.L.1
Furst, M.L.2
-
3
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
T. Bylander. The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(l-2):165-204, 1994.
-
(1994)
Artificial Intelligence
, vol.69
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
5
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
R. E. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208, 1971.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.2
-
6
-
-
0009457242
-
Accelerating partial-order planners: Some techniques for effective search control and pruning
-
A. Gerevini and L. Schubert. Accelerating partial-order planners: Some techniques for effective search control and pruning. Journal of Artificial Intelligence Research, 5:95-137, 1996.
-
(1996)
Journal of Artificial Intelligence Research
, vol.5
, pp. 95-137
-
-
Gerevini, A.1
Schubert, L.2
-
7
-
-
0030352389
-
Pushing the envelope: Planning, propositional logic, and stochastic search
-
Portland, OR, July MIT Press
-
H. A. Kautz and B. Selman. Pushing the envelope: Planning, propositional logic, and stochastic search. In Proceedings of the 13th National Conference of the Amer'ican Association for Artificial Intelligence (AAAI-96), pages 1194-1201, Portland, OR, July 1996. MIT Press.
-
(1996)
Proceedings of the 13th National Conference of the Amer'ican Association for Artificial Intelligence (AAAI-96)
, pp. 1194-1201
-
-
Kautz, H.A.1
Selman, B.2
-
8
-
-
0003164624
-
Extending planning graphs to an ADL subset
-
Toulouse, France, September
-
J. Koehler, B. Nebel, J, Hoffmann, and Y. Dimopoulos. Extending planning graphs to an ADL subset. In Proc. European Conference on Planning 1997, Toulouse, France, September 1997.
-
(1997)
Proc. European Conference on Planning 1997
-
-
Koehler, J.1
Nebel J Hoffmann, B.2
Dimopoulos, Y.3
-
11
-
-
0002489296
-
UCPOP: A sound, complete, partial order planner for ADL
-
B. Nebel, W. Swartout, and C. Rich, editors, Cambridge, MA, Oct. Morgan Kaufmann
-
J. S. Penberthy and D. S. Weld. UCPOP: A sound, complete, partial order planner for ADL. In B. Nebel, W. Swartout, and C. Rich, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92), pages 103-114, Cambridge, MA, Oct. 1992. Morgan Kaufmann.
-
(1992)
Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92)
, pp. 103-114
-
-
Penberthy, J.S.1
Weld, D.S.2
|