-
1
-
-
0028545292
-
Downward refinement and the efficiency of hierarchical problem solving
-
BACCHUS, F., and Q. YANG. 1994. Downward refinement and the efficiency of hierarchical problem solving. Artificial Intelligence, 71(1):43-100.
-
(1994)
Artificial Intelligence
, vol.71
, Issue.1
, pp. 43-100
-
-
Bacchus, F.1
Yang, Q.2
-
3
-
-
5844286530
-
Partial order planning: Evaluating possible efficiency gains
-
University of Washington, Department of Computer Science and Engineering, Seattle, WA
-
BARRETT, A., and D. WELD. 1992. Partial order planning: evaluating possible efficiency gains. Technical Report 92-05-01, University of Washington, Department of Computer Science and Engineering, Seattle, WA.
-
(1992)
Technical Report 92-05-01
-
-
Barrett, A.1
Weld, D.2
-
4
-
-
0028430255
-
Partial order planning: Evaluating possible efficiency gains
-
BARRETT, A., and D. WELD. 1994. Partial order planning: evaluating possible efficiency gains. Artificial Intelligence, 67(1):71-112.
-
(1994)
Artificial Intelligence
, vol.67
, Issue.1
, pp. 71-112
-
-
Barrett, A.1
Weld, D.2
-
5
-
-
0023381915
-
Planning for conjunctive goals
-
CHAPMAN, D. 1987. Planning for conjunctive goals. Artificial Intelligence, 32:333-377.
-
(1987)
Artificial Intelligence
, vol.32
, pp. 333-377
-
-
Chapman, D.1
-
6
-
-
5844285745
-
-
Prindle, Weber and Schmidt, Inc., Boston, MA
-
DODGE, C. W. 1969. Numbers and mathematics. Prindle, Weber and Schmidt, Inc., Boston, MA.
-
(1969)
Numbers and Mathematics
-
-
Dodge, C.W.1
-
7
-
-
2842560201
-
Strips: A new approach to the application of theorem proving to problem solving
-
FIKES, R., and N. NILSSON. 1971. Strips: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.1
Nilsson, N.2
-
8
-
-
2342660624
-
Characterizing and automatically finding primary effects in planning
-
Morgan Kaufmann, San Francisco, CA
-
FINK, E., and Q. YANG. 1993. Characterizing and automatically finding primary effects in planning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93). Morgan Kaufmann, San Francisco, CA, pp. 1374-1379.
-
(1993)
Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93)
, pp. 1374-1379
-
-
Fink, E.1
Yang, Q.2
-
10
-
-
5844285744
-
Planning as refinement search: A unified framework for evaluating design tradeoffs in partial-order planning
-
KAMBHAMPATI, S., C. A. KNOBLOCK, and Q. YANG. 1994. Planning as refinement search: a unified framework for evaluating design tradeoffs in partial-order planning. Accepted by Artificial Intelligence Journal.
-
(1994)
Accepted by Artificial Intelligence Journal.
-
-
Kambhampati, S.1
Knoblock, C.A.2
Yang, Q.3
-
11
-
-
0042305852
-
-
Ph.D. thesis, School of Computer Science, Carnegie Mellon University. Tech. Report CMU-CS-91-120
-
KNOBLOCK, C. A. 1991. Automatically generating abstractions for problem solving. Ph.D. thesis, School of Computer Science, Carnegie Mellon University. Tech. Report CMU-CS-91-120.
-
(1991)
Automatically Generating Abstractions for Problem Solving
-
-
Knoblock, C.A.1
-
13
-
-
0039936301
-
Characterizing abstraction hierarchies for planning
-
Anaheim, CA
-
KNOBLOCK, C. A., J. TENENBERG, and Q. YANG. 1991. Characterizing abstraction hierarchies for planning. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91). Anaheim, CA, pp. 692-698.
-
(1991)
Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91)
, pp. 692-698
-
-
Knoblock, C.A.1
Tenenberg, J.2
Yang, Q.3
-
14
-
-
0342772590
-
Systematic nonlinear planning
-
Morgan Kaufmann, San Francisco, CA
-
MCALLESTER, D., and D. ROSENBLITT. 1991. Systematic nonlinear planning. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91). Morgan Kaufmann, San Francisco, CA, pp. 634-639.
-
(1991)
Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91)
, pp. 634-639
-
-
Mcallester, D.1
Rosenblitt, D.2
-
15
-
-
0025398889
-
Quantitative results concerning the utility of explanation-based learning
-
MINTON, S. 1990. Quantitative results concerning the utility of explanation-based learning. Artificial Intelligence, 42:363-391.
-
(1990)
Artificial Intelligence
, vol.42
, pp. 363-391
-
-
Minton, S.1
-
18
-
-
0016069798
-
Planning in a hierarchy of abstraction spaces
-
SACERDOTI, E. 1974. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115-135.
-
(1974)
Artificial Intelligence
, vol.5
, pp. 115-135
-
-
Sacerdoti, E.1
-
20
-
-
5844353712
-
An efficient robot planner which generates its own procedures
-
SIKLOSSY, L., and J. DREUSSI. 1973. An efficient robot planner which generates its own procedures. In Proceedings of the 3rd IJCAI. pp. 423-430.
-
(1973)
Proceedings of the 3rd IJCAI
, pp. 423-430
-
-
Siklossy, L.1
Dreussi, J.2
-
22
-
-
0019563065
-
Planning with constraints
-
STEFIK, M. 1981. Planning with constraints. Artificial Intelligence, 16(2):111-140.
-
(1981)
Artificial Intelligence
, vol.16
, Issue.2
, pp. 111-140
-
-
Stefik, M.1
-
26
-
-
0021405893
-
Domain-independent planning: Representation and plan generation
-
WILKINS, D. 1984. Domain-independent planning: representation and plan generation. Artificial Intelligence, 22:269-301.
-
(1984)
Artificial Intelligence
, vol.22
, pp. 269-301
-
-
Wilkins, D.1
-
29
-
-
38249008106
-
A theory of conflict resolution in planning
-
YANG, Q. 1992. A theory of conflict resolution in planning. Artificial Intelligence, 58(1-3):361-392.
-
(1992)
Artificial Intelligence
, vol.58
, Issue.1-3
, pp. 361-392
-
-
Yang, Q.1
-
30
-
-
5844316992
-
Abstraction in nonlinear planning
-
University of Waterloo, Department of Computer Science, Waterloo, Ontario, Canada N2L 3G1
-
YANG, Q., J. TENENBERG, and S. WOODS. 1991. Abstraction in nonlinear planning. Technical Report CS 91-65, University of Waterloo, Department of Computer Science, Waterloo, Ontario, Canada N2L 3G1.
-
(1991)
Technical Report CS 91-65
-
-
Yang, Q.1
Tenenberg, J.2
Woods, S.3
|