-
3
-
-
0028545292
-
Downward refinement and the efficiency of hierarchical problem solving
-
Bacchus, F., & Yang, Q. (1994). Downward refinement and the efficiency of hierarchical problem solving. Artificial Intelligence, 71, 43-100.
-
(1994)
Artificial Intelligence
, vol.71
, pp. 43-100
-
-
Bacchus, F.1
Yang, Q.2
-
5
-
-
0028430255
-
Partial-order planning: Evaluating possible efficiency gains
-
Barrett, A., & Weld, D. (1994). Partial-order planning: Evaluating possible efficiency gains. Artificial Intelligence, 67, 71-112.
-
(1994)
Artificial Intelligence
, vol.67
, pp. 71-112
-
-
Barrett, A.1
Weld, D.2
-
6
-
-
0031074857
-
Fast planning through planning graph analysis
-
Blum, A., & Furst, M. (1997). Fast planning through planning graph analysis. Artificial Intelligence, 90(1-2), 279-298.
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1-2
, pp. 279-298
-
-
Blum, A.1
Furst, M.2
-
7
-
-
0031385389
-
A robust and fast action selection mechanism for planning
-
Bonet, B., Loerincs, G., & Geffner, H. (1997). A robust and fast action selection mechanism for planning. In Proceedings of the 14th National Conference of the American Association for Artificial Intelligence, pp. 714-719.
-
(1997)
Proceedings of the 14th National Conference of the American Association for Artificial Intelligence
, pp. 714-719
-
-
Bonet, B.1
Loerincs, G.2
Geffner, H.3
-
8
-
-
0030374192
-
-
Weld, & Clancey (Weld & Clancey, 1996)
-
Bundy, A., Giunchiglia, F., Sebastiani, R., & Walsh, T. (1996). Computing abstraction hierarchies by numerical simulation. In Weld, & Clancey (Weld & Clancey, 1996), pp. 523-529.
-
(1996)
Computing Abstraction Hierarchies by Numerical Simulation
, pp. 523-529
-
-
Bundy, A.1
Giunchiglia, F.2
Sebastiani, R.3
Walsh, T.4
-
10
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
Bylander, T. (1994). The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69, 165-204.
-
(1994)
Artificial Intelligence
, vol.69
, pp. 165-204
-
-
Bylander, T.1
-
11
-
-
0023381915
-
Planning for conjunctive goals
-
Chapman, D. (1987). Planning for conjunctive goals. Artificial Intelligence, 32(3), 333-377.
-
(1987)
Artificial Intelligence
, vol.32
, Issue.3
, pp. 333-377
-
-
Chapman, D.1
-
12
-
-
0010398401
-
Ordering problem subgoals
-
Sridharan, 1989
-
Cheng, J., & Irani, K. (1989). Ordering problem subgoals. In Sridharan (Sridharan, 1989), pp. 931-936.
-
(1989)
Sridharan
, pp. 931-936
-
-
Cheng, J.1
Irani, K.2
-
14
-
-
84898684063
-
-
Steel (Steel, 1997)
-
Dimopoulos, Y., Nebel, B., & Koehler, J. (1997). Encoding planning problems in non-monotonic logic programs. In Steel (Steel, 1997), pp. 169-181.
-
(1997)
Encoding Planning Problems in Non-monotonic Logic Programs
, pp. 169-181
-
-
Dimopoulos, Y.1
Nebel, B.2
Koehler, J.3
-
15
-
-
0010361139
-
Goal ordering in partially ordered plans
-
Sridharan, 1989
-
Drummond, M., & Currie, K. (1989). Goal ordering in partially ordered plans. In Sridharan (Sridharan, 1989), pp. 960-965.
-
(1989)
Sridharan
, pp. 960-965
-
-
Drummond, M.1
Currie, K.2
-
16
-
-
0008581455
-
Temporal and resource reasoning in planning: The parcPLAN approch
-
Wahlster, W. (Ed.), John Wiley & Sons, Chichester, New York
-
El-Kholy, A., & Richards, B. (1996). Temporal and resource reasoning in planning: the parcPLAN approch. In Wahlster, W. (Ed.), Proceedings of the 12th European Conference on Artificial Intelligence, pp. 614-618. John Wiley & Sons, Chichester, New York.
-
(1996)
Proceedings of the 12th European Conference on Artificial Intelligence
, pp. 614-618
-
-
El-Kholy, A.1
Richards, B.2
-
17
-
-
0027643027
-
Acquiring search-control knowledge via static analysis
-
Etzioni, O. (1993). Acquiring search-control knowledge via static analysis. Artificial Intelligence, 62, 255-301.
-
(1993)
Artificial Intelligence
, vol.62
, pp. 255-301
-
-
Etzioni, O.1
-
18
-
-
0346087335
-
Prodigy planning algorithm
-
Carnegie Mellon University
-
Fink, E., & Veloso, M. (1994). Prodigy planning algorithm. Technical report CMU-94-123, Carnegie Mellon University.
-
(1994)
Technical Report CMU-94-123
-
-
Fink, E.1
Veloso, M.2
-
21
-
-
35048863875
-
Towards a theory of conflict detection and resolution in nonlinear plans
-
Sridharan, 1989
-
Hertzberg, J., & Horz, A. (1989). Towards a theory of conflict detection and resolution in nonlinear plans. In Sridharan (Sridharan, 1989), pp. 937-942.
-
(1989)
Sridharan
, pp. 937-942
-
-
Hertzberg, J.1
Horz, A.2
-
23
-
-
24244435536
-
Extracting goal orderings to improve partial-order and Graphplan-based planning
-
University of Kaiserslautern
-
Hüllem, J., Munoz-Avila, H., & Weberskirch, F. (1999). Extracting goal orderings to improve partial-order and Graphplan-based planning. Technical report, University of Kaiserslautern.
-
(1999)
Technical Report
-
-
Hüllem, J.1
Munoz-Avila, H.2
Weberskirch, F.3
-
24
-
-
0010355397
-
Subgoal ordering and goal augmentation for heuristic problem solving
-
McDermott, D. (Ed.), Milan, Italy. Morgan Kaufmann
-
Irani, K., & Cheng, J. (1987). Subgoal ordering and goal augmentation for heuristic problem solving. In McDermott, D. (Ed.), Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 1018-1024 Milan, Italy. Morgan Kaufmann.
-
(1987)
Proceedings of the 10th International Joint Conference on Artificial Intelligence
, pp. 1018-1024
-
-
Irani, K.1
Cheng, J.2
-
25
-
-
0033899630
-
Towards efficient universal planning: A randomized approach
-
Jonsson, P., Haslum, P., & Bäckström, C. (2000). Towards efficient universal planning: A randomized approach. Artificial Intelligence, 117(1), 1-29.
-
(2000)
Artificial Intelligence
, vol.117
, Issue.1
, pp. 1-29
-
-
Jonsson, P.1
Haslum, P.2
Bäckström, C.3
-
26
-
-
0024765040
-
A theoretical analysis of conjunctive-goal problems
-
Joslin, D., & Roach, J. (1990). A theoretical analysis of conjunctive-goal problems. Artificial Intelligence, 41, 97-106.
-
(1990)
Artificial Intelligence
, vol.41
, pp. 97-106
-
-
Joslin, D.1
Roach, J.2
-
28
-
-
0030352389
-
-
Weld, & Clancey (Weld & Clancey, 1996)
-
Kautz, H., & Selman, B. (1996). Pushing the envelope: Planning, propositional logic, and stochastic search. In Weld, & Clancey (Weld & Clancey, 1996), pp. 1194-1201.
-
(1996)
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
, pp. 1194-1201
-
-
Kautz, H.1
Selman, B.2
-
30
-
-
0028484996
-
Automatically generating abstractions for planning
-
Knoblock, C. (1994). Automatically generating abstractions for planning. Artificial Intelligence, 68(2), 243-302.
-
(1994)
Artificial Intelligence
, vol.68
, Issue.2
, pp. 243-302
-
-
Knoblock, C.1
-
31
-
-
0346717914
-
Handling of conditional effects and negative goals in IPP
-
University of Freiburg, Institute of Computer Science
-
Koehler, J. (1999). Handling of conditional effects and negative goals in IPP. Technical report 128, University of Freiburg, Institute of Computer Science, available at http://www.informatik.uni-freiburg.de/~koehler/ipp.html.
-
(1999)
Technical Report 128
-
-
Koehler, J.1
-
32
-
-
0347348400
-
Planning with goal agendas
-
University of Freiburg
-
Koehler, J., & Hoffmann, J. (1998). Planning with goal agendas. Technical report 110, University of Freiburg, available at http://www.informatik.uni-freiburg.de/~ koehler/ipp.html.
-
(1998)
Technical Report 110
-
-
Koehler, J.1
Hoffmann, J.2
-
33
-
-
84898681853
-
-
Steel (Steel, 1997)
-
Koehler, J., Nebel, B., Hoffmann, J., & Dimopoulos, Y. (1997). Extending planning graphs to an ADL subset. In Steel (Steel, 1997), pp. 273-285.
-
(1997)
Extending Planning Graphs to an ADL Subset
, pp. 273-285
-
-
Koehler, J.1
Nebel, B.2
Hoffmann, J.3
Dimopoulos, Y.4
-
34
-
-
0022045044
-
Macro-operators: A weak method for learning
-
Korf, R. (1985). Macro-operators: A weak method for learning. Artificial Intelligence, 26, 35-77.
-
(1985)
Artificial Intelligence
, vol.26
, pp. 35-77
-
-
Korf, R.1
-
35
-
-
0023421864
-
Planning as search: A quantitative approach
-
Korf, R. (1987). Planning as search: A quantitative approach. Artificial Intelligence, 33, 65-88.
-
(1987)
Artificial Intelligence
, vol.33
, pp. 65-88
-
-
Korf, R.1
-
36
-
-
0023442334
-
Nonmonotonic logic and temporal projection
-
McDermott, D., & Hanks, S. (1987). Nonmonotonic logic and temporal projection. Artificial Intelligence, 33, 379-412.
-
(1987)
Artificial Intelligence
, vol.33
, pp. 379-412
-
-
McDermott, D.1
Hanks, S.2
-
38
-
-
0028396495
-
On the computational complexity of temporal projection, planning, and plan validation
-
Nebel, B., & Bäckström, C. (1994). On the computational complexity of temporal projection, planning, and plan validation. Journal of Artificial Intelligence, 66(1), 125-160.
-
(1994)
Journal of Artificial Intelligence
, vol.66
, Issue.1
, pp. 125-160
-
-
Nebel, B.1
Bäckström, C.2
-
39
-
-
84880674989
-
-
Steel (Steel, 1997)
-
Nebel, B., Dimopoulos, Y., & Koehler, J. (1997). Ignoring irrelevant facts and operators in plan generation. In Steel (Steel, 1997), pp. 338-350.
-
(1997)
Ignoring Irrelevant Facts and Operators in Plan Generation
, pp. 338-350
-
-
Nebel, B.1
Dimopoulos, Y.2
Koehler, J.3
-
41
-
-
0000532979
-
ADL: Exploring the middle ground between STRIPS and the Situation Calculus
-
Brachman, R., Levesque, H., & Reiter, R. (Eds.), Toronto, Canada. Morgan Kaufmann
-
Pednault, E. (1989). ADL: Exploring the middle ground between STRIPS and the Situation Calculus. In Brachman, R., Levesque, H., & Reiter, R. (Eds.), Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pp. 324-332 Toronto, Canada. Morgan Kaufmann.
-
(1989)
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning
, pp. 324-332
-
-
Pednault, E.1
-
42
-
-
0002489296
-
UCPOP: A sound, complete, partial order planner for ADL
-
Nebel, B., Swartout, W., & Rich, C. (Eds.), Morgan Kaufmann, San Mateo
-
Penberthy, J., & Weld, D. (1992). UCPOP: A sound, complete, partial order planner for ADL. In Nebel, B., Swartout, W., & Rich, C. (Eds.), Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 103-113. Morgan Kaufmann, San Mateo.
-
(1992)
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning
, pp. 103-113
-
-
Penberthy, J.1
Weld, D.2
-
43
-
-
0342693331
-
Selection strategies for partial-order planning
-
Pollack, M., Joslin, D., & Paolucci, M. (1997). Selection strategies for partial-order planning. Journal of Artificial Intelligence Research, 6, 223-262.
-
(1997)
Journal of Artificial Intelligence Research
, vol.6
, pp. 223-262
-
-
Pollack, M.1
Joslin, D.2
Paolucci, M.3
-
45
-
-
0242458310
-
-
Mellish (Mellish, 1995)
-
Regli, W., Gupta, S., & Nau, D. (1995). AI planning versus manufacturing-operation planning: A case study. In Mellish (Mellish, 1995), pp. 1670-1676.
-
(1995)
AI Planning Versus Manufacturing-operation Planning: A Case Study
, pp. 1670-1676
-
-
Regli, W.1
Gupta, S.2
Nau, D.3
-
46
-
-
35048817182
-
Learning subgoal sequences for planning
-
Sridharan, 1989
-
Ruby, D., & Kibler, D. (1989). Learning subgoal sequences for planning. In Sridharan (Sridharan, 1989), pp. 609-615.
-
(1989)
Sridharan
, pp. 609-615
-
-
Ruby, D.1
Kibler, D.2
-
48
-
-
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
-
52
-
-
0347348398
-
Proceedings of the 4th European Conference on Planning
-
ECP-97. Springer
-
Steel, S. (Ed.), ECP-97 (1997). Proceedings of the 4th European Conference on Planning, Vol. 1348 of LNAI. Springer.
-
(1997)
LNAI
, vol.1348
-
-
Steel, S.1
-
53
-
-
0031628521
-
-
Allen (Allen, 1998)
-
Tsuneto, R., Hendler, J., & Nau, D. S. (1998). Analyzing external conditions to improve the efficiency of HTN planning. In Allen (Allen, 1998), pp. 913-920.
-
(1998)
Analyzing External Conditions to Improve the Efficiency of HTN Planning
, pp. 913-920
-
-
Tsuneto, R.1
Hendler, J.2
Nau, D.S.3
-
54
-
-
33746223651
-
Linkability: Examining causal link commitments in partial-order planning
-
Hammond, K. (Ed.), AAAI Press, Menlo Park
-
Veloso, M., & Blythe, J. (1994). Linkability: Examining causal link commitments in partial-order planning. In Hammond, K. (Ed.), Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems, pp. 170-175. AAAI Press, Menlo Park.
-
(1994)
Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems
, pp. 170-175
-
-
Veloso, M.1
Blythe, J.2
-
55
-
-
84945708259
-
A theorem on boolean matrices
-
Warshall, J. (1962). A theorem on boolean matrices. Journal of the ACM, 9(1), 11-12.
-
(1962)
Journal of the ACM
, vol.9
, Issue.1
, pp. 11-12
-
-
Warshall, J.1
-
57
-
-
84880659749
-
A reactive planner for a model-based executive
-
Morgan Kaufmann, San Francisco, CA
-
Williams, B., & Nayak, R. (1997). A reactive planner for a model-based executive. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, pp. 1178-1185. Morgan Kaufmann, San Francisco, CA.
-
(1997)
Proceedings of the 15th International Joint Conference on Artificial Intelligence
, pp. 1178-1185
-
-
Williams, B.1
Nayak, R.2
|