-
1
-
-
26944484541
-
-
Technical Report Department of Computer Science, University of Maryland College Park CS-TR-3487
-
Andrews, S.; Kettler, B,; Erol, K.; and Hendler, J. 1995. Um Translog: A Planning Domain for the Development and Benchmarking of Planning Systems. Technical Report Department of Computer Science, University of Maryland College Park CS-TR-3487.
-
(1995)
Um Translog: A Planning Domain for the Development and Benchmarking of Planning Systems
-
-
Andrews, S.1
Kettler, B2
Erol, K.3
Hendler, J.4
-
2
-
-
0031074857
-
Fast planning through planning graph analysis
-
Blum, A. and Furst, M. 1997. Fast planning through planning graph analysis. J. Artificial Intelligence, 90(1–2):281–300.
-
(1997)
J. Artificial Intelligence
, vol.90
, Issue.1–2
, pp. 281-300
-
-
Blum, A.1
Furst, M.2
-
3
-
-
0041139431
-
O-Plan - control in the open planning architecture
-
Cambridge University Press
-
Currie, K. and Tate, A. 1985. O-Plan - control in the open planning architecture. BSC Expert Systems Conference, Cambridge University Press.
-
(1985)
BSC Expert Systems Conference
-
-
Currie, K.1
Tate, A.2
-
4
-
-
0343825106
-
Coordinating Planning Activity and Information Flow in a Distributed Planning System
-
AAAI Press, 1998
-
DesJardins, M. and Wolverton, M. 1998. Coordinating Planning Activity and Information Flow in a Distributed Planning System, AAAI Fall Symposium on Distributed, Continual Planning (AAAI Technical Report FS-98), AAAI Press, 1998.
-
(1998)
AAAI Fall Symposium on Distributed, Continual Planning (AAAI Technical Report FS-98)
-
-
DesJardins, M.1
Wolverton, M.2
-
5
-
-
85134633581
-
UMCP: a sound and complete procedure for Hierarchical Task-Network planning
-
Erol, K.; Hendler, J.; and Nau, D. 1994a. UMCP: a sound and complete procedure for Hierarchical Task-Network planning, In Proc. AIPS-94, 249-254.
-
(1994)
Proc. AIPS-94
, pp. 249-254
-
-
Erol, K.1
Hendler, J.2
Nau, D.3
-
7
-
-
0038256824
-
Blackbox: A new approach to the application of theorem proving to problem solving
-
Pittsburgh, PA, 1998
-
Kautz, H. and Selman, B. 1998. Blackbox: A new approach to the application of theorem proving to problem solving. Working notes of the Workshop on Planning as Combinatorial Search held in conjunction with AIPS-98, Pittsburgh, PA, 1998, 58-60.
-
(1998)
Working notes of the Workshop on Planning as Combinatorial Search held in conjunction with AIPS-98
, pp. 58-60
-
-
Kautz, H.1
Selman, B.2
-
8
-
-
0023421864
-
Planning as Search: A Quantitative Approach
-
1987
-
Korf, R. 1987. Planning as Search: A Quantitative Approach. Artificial Intelligence (33), 1987, 65-88.
-
(1987)
Artificial Intelligence
, Issue.33
, pp. 65-88
-
-
Korf, R.1
-
9
-
-
0003164624
-
Extending planning graphs to an ADL subset
-
Toulouse, France, 1997
-
Koehler, J.; Nebel, B.; Hoffman, J; and Dimopoulos Y. 1997. Extending planning graphs to an ADL subset. In Proc. ECP-97, Toulouse, France, 1997.
-
(1997)
Proc. ECP-97
-
-
Koehler, J.1
Nebel, B.2
Hoffman, J3
Dimopoulos, Y.4
-
10
-
-
85166208188
-
Using Planning Graphs for Solving HTN Planning Problems
-
Lotem, A., Nau., D., and Hendler J. 1999. Using Planning Graphs for Solving HTN Planning Problems. In Proc. AAAI-99
-
(1999)
Proc. AAAI-99
-
-
Lotem, A.1
Nau., D.2
Hendler, J.3
-
11
-
-
0002640367
-
Encoding HTN planning in propositional logic
-
Mali, A.; and Kambhampati, S. 1998. Encoding HTN planning in propositional logic. In Proc. AIPS-98, 190-198.
-
(1998)
Proc. AIPS-98
, pp. 190-198
-
-
Mali, A.1
Kambhampati, S.2
-
12
-
-
0012045378
-
Hierarchical Task Network Planning as Satisfiability
-
Mali, A. 1999. Hierarchical Task Network Planning as Satisfiability. In Proc. ECP-99.
-
(1999)
Proc. ECP-99
-
-
Mali, A.1
-
14
-
-
0031636224
-
Control Strategies in HTN Planning: Theory versus Practice
-
Nau, D.; Smith, S. J.; and Erol, K. 1998. Control Strategies in HTN Planning: Theory versus Practice. AAAI-98/IAAI-98, 1127–1133.
-
(1998)
AAAI-98/IAAI-98
, pp. 1127-1133
-
-
Nau, D.1
Smith, S. J.2
Erol, K.3
-
15
-
-
85125003135
-
The nonlinear nature of plans
-
Sacerdoti, E. 1975. The nonlinear nature of plans. In Proc. IJCAI-75, 206-214.
-
(1975)
Proc. IJCAI-75
, pp. 206-214
-
-
Sacerdoti, E.1
-
16
-
-
85166177295
-
Analyzing External Conditions to Improve the Efficiency of HTN Planning
-
Tsuneto R.; Hendler, J.; and Nau, D. 1998. Analyzing External Conditions to Improve the Efficiency of HTN Planning. In Proc. AAAI-98.
-
(1998)
Proc. AAAI-98
-
-
Tsuneto, R.1
Hendler, J.2
Nau, D.3
-
17
-
-
0004031010
-
-
PhD thesis, School of Computer Science, Carnegie Mellon University. Technical report CMU-CS-92-174
-
Veloso, M. 1992. Learning by Analogical Reasoning in General Problem Solving. PhD thesis, School of Computer Science, Carnegie Mellon University. Technical report CMU-CS-92-174.
-
(1992)
Learning by Analogical Reasoning in General Problem Solving
-
-
Veloso, M.1
-
18
-
-
84880647869
-
Merging Separately Generated Plans with Restricted Interactions
-
1992
-
Yang, Q.; Nau, D.; and Hendler, J. 1992. Merging Separately Generated Plans with Restricted Interactions. Computational Intelligence Journal. Vol. 8, No. 4, pp. 648-676. 1992.
-
(1992)
Computational Intelligence Journal
, vol.8
, Issue.4
, pp. 648-676
-
-
Yang, Q.1
Nau, D.2
Hendler, J.3
|