-
1
-
-
0001951408
-
Using temporal logic to control search in a forward chaining planner
-
M. Ghallab and A. Milani (Eds.), IOS Press
-
F. Bacchus and K. Kabanza. Using temporal logic to control search in a forward chaining planner. In M. Ghallab and A. Milani (Eds.), New Directions in Planning, IOS Press, 141-153, 1996.
-
(1996)
New Directions in Planning
, pp. 141-153
-
-
Bacchus, F.1
Kabanza, K.2
-
2
-
-
70350670954
-
Using temporal logic to express search control knowledge for planning
-
Submitted to
-
F. Bacchus and K. Kabanza. Using temporal logic to express search control knowledge for planning. 〈ftp.logos.uwaterloo.ca/pub/bacchus/BKTlplan. ps〉. Submitted to Artificial Intelligence, 1998.
-
(1998)
Artificial Intelligence
-
-
Bacchus, F.1
Kabanza, K.2
-
3
-
-
0026255231
-
O-Plan: The open planning architecture
-
K. Currie and A. Tate. O-Plan: The open planning architecture. Artificial Intelligence, 52:49-86, 1991.
-
(1991)
Artificial Intelligence
, vol.52
, pp. 49-86
-
-
Currie, K.1
Tate, A.2
-
6
-
-
0026904035
-
On the complexity of blocks-world planning
-
N. Gupta and D. Nau. On the complexity of blocks-world planning. Artificial Intelligence 56(2-3), 223-254, 1992.
-
(1992)
Artificial Intelligence
, vol.56
, Issue.2-3
, pp. 223-254
-
-
Gupta, N.1
Nau, D.2
-
8
-
-
84898681853
-
Extending planning graphs to an ADL subset
-
J. Koehlar, B. Nebel, J. Hoffmann, and Y. Dimopoulos. Extending planning graphs to an ADL subset. In ECP-97, 273-285, 1997.
-
(1997)
ECP-97
, pp. 273-285
-
-
Koehlar, J.1
Nebel, B.2
Hoffmann, J.3
Dimopoulos, Y.4
-
9
-
-
0023421864
-
Planning as search: A quantitative approach
-
R. Korf. Planning as search: A quantitative approach. Artificial Intelligence 33:65-88, 1987.
-
(1987)
Artificial Intelligence
, vol.33
, pp. 65-88
-
-
Korf, R.1
-
12
-
-
0031636224
-
Control Strategies in HTN Planning: Theory versus Practice
-
D. Nau, S. J. Smith, and K. Erol. Control Strategies in HTN Planning: Theory versus Practice. AAM-9&/IAAI-98, 1127-1133, 1998.
-
(1998)
AAM-9&/IAAI-98
, pp. 1127-1133
-
-
Nau, D.1
Smith, S.J.2
Erol, K.3
-
13
-
-
84880680832
-
-
Tech. Report AIC-99-004, Naval Center for Applied Research on AI, Naval Research Lab., Washington, DC
-
H. Munoz-Avila, D. Aha, J. Ballas, L. Breslow, and D. Nau. Using guidelines to constrain interactive case-based HTN planning. Tech. Report AIC-99-004, Naval Center for Applied Research on AI, Naval Research Lab., Washington, DC, 1999.
-
(1999)
Using Guidelines to Constrain Interactive Case-based HTN Planning
-
-
Munoz-Avila, H.1
Aha, D.2
Ballas, J.3
Breslow, L.4
Nau, D.5
-
14
-
-
0002489296
-
UCPOP: A sound, complete, partial order planner for ADL
-
J. S. Penberthy and D. Weld, D. 1992. UCPOP: A sound, complete, partial order planner for ADL. In Proc. KR-92, 1992.
-
(1992)
Proc. KR-92, 1992
-
-
Penberthy, J.S.1
Weld D, D.2
-
16
-
-
0003102562
-
Integrating electrical and mechanical design and process planning
-
Martti Mantyla, Susan Finger and Tetsuo Tomiyama (ed.)
-
S. J. Smith, K. Hebbar, D. Nau, and I. Minis. Integrating electrical and mechanical design and process planning. In Martti Mantyla, Susan Finger and Tetsuo Tomiyama (ed.), Knowledge Intensive CAD, Volume 2, pp. 269-288, 1997.
-
(1997)
Knowledge Intensive CAD
, vol.2
, pp. 269-288
-
-
Smith, S.J.1
Hebbar, K.2
Nau, D.3
Minis, I.4
-
17
-
-
0032096921
-
Computer bridge: A big win for AI planning
-
S. J. Smith, D. Nau, and T. Throop. Computer bridge: a big win for AI planning. AI Magazine 19(2), 93-105, 1998.
-
(1998)
AI Magazine
, vol.19
, Issue.2
, pp. 93-105
-
-
Smith, S.J.1
Nau, D.2
Throop, T.3
-
18
-
-
0002680667
-
Generating project networks
-
A. Tate. Generating project networks. In Proc. UCAI-77, 888-893, 1977.
-
(1977)
Proc. UCAI-77
, pp. 888-893
-
-
Tate, A.1
-
19
-
-
33746223651
-
Linkability: Examining causal link commitments in partial-order planning
-
M. Veloso and J. Blythe. Linkability: Examining causal link commitments in partial-order planning. In Proc. AIPS-94, 1994.
-
Proc. AIPS-94, 1994
-
-
Veloso, M.1
Blythe, J.2
-
20
-
-
0000460378
-
Can AI planners solve practical problems?
-
D. Wilkins. Can AI planners solve practical problems?. Computational Intelligence 6 (4):232-246, 1990.
-
(1990)
Computational Intelligence
, vol.6
, Issue.4
, pp. 232-246
-
-
Wilkins, D.1
-
21
-
-
84880647869
-
Merging separately generated plans with restricted interactions
-
February
-
Q. Yang, D. Nau, and J. Hendler. Merging separately generated plans with restricted interactions. Computational Intelligence 8(2):648-676, February 1992.
-
(1992)
Computational Intelligence
, vol.8
, Issue.2
, pp. 648-676
-
-
Yang, Q.1
Nau, D.2
Hendler, J.3
|