-
1
-
-
0029405902
-
Complexity Results for SAS+ Planning
-
Backstrom, C., and Nebel, B. 1995. Complexity Results for SAS+ Planning. Computational Intelligence 11(4): 625-655.
-
(1995)
Computational Intelligence
, vol.11
, Issue.4
, pp. 625-655
-
-
Backstrom, C.1
Nebel, B.2
-
2
-
-
84880714041
-
Over-Subscription Planning with Numeric Goals
-
Denver, CO: Professional Book Center
-
Benton, J.; Do, M. B., and Kambhampati, S. 2005. Over-Subscription Planning with Numeric Goals. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, 1207-1213. Denver, CO: Professional Book Center.
-
(2005)
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence
, pp. 1207-1213
-
-
Benton, J.1
Do, M.B.2
Kambhampati, S.3
-
4
-
-
84890260789
-
Course of Action Generation for Cyber Security Using Classical Planning
-
Menlo Park, CA: AAAI Press
-
Boddy, M.; Gohde, J.; Haigh, T.; and Harp, S. 2005. Course of Action Generation for Cyber Security Using Classical Planning. In Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS), 12-21. Menlo Park, CA: AAAI Press.
-
(2005)
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS)
, pp. 12-21
-
-
Boddy, M.1
Gohde, J.2
Haigh, T.3
Harp, S.4
-
6
-
-
0035369022
-
Planning as Heuristic Search
-
Bonet, B., and Geffner, H. 2000a. Planning as Heuristic Search. Artificial Intelligence 129(1-2): 5-33.
-
(2000)
Artificial Intelligence
, vol.129
, Issue.1-2
, pp. 5-33
-
-
Bonet, B.1
Geffner, H.2
-
10
-
-
34247386058
-
Cost Sensitive Reachability Heuristics for Handling State Uncertainty
-
Eugene, OR: Association of Uncertainty in Artificial Intelligence
-
Bryce, D., and Kambhampati, S. 2005. Cost Sensitive Reachability Heuristics for Handling State Uncertainty. In Proceedings of Twenty-First Conference on Uncertainty in Artificial Intelligence, 60-68. Eugene, OR: Association of Uncertainty in Artificial Intelligence.
-
(2005)
Proceedings of Twenty-First Conference on Uncertainty in Artificial Intelligence
, pp. 60-68
-
-
Bryce, D.1
Kambhampati, S.2
-
11
-
-
34247364228
-
Using Interaction to Compute Better Probability Estimates in Plan Graphs
-
Paper Presented at the Lake District, Cumbria, UK
-
Bryce, D., and Smith, D. 2006. Using Interaction to Compute Better Probability Estimates in Plan Graphs. Paper Presented at the Sixteenth International Conference on Automated Planning and Scheduling Workshop on Planning Under Uncertainty and Execution Control for Autonomous Systems, 6-10 June, The English Lake District, Cumbria, UK.
-
(2006)
Sixteenth International Conference on Automated Planning and Scheduling Workshop on Planning Under Uncertainty and Execution Control for Autonomous Systems, 6-10 June, The English
-
-
Bryce, D.1
Smith, D.2
-
13
-
-
33746054528
-
Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics
-
Menlo Park, CA: AAAI Press
-
Bryce, D.; Kambhampati, S.; and Smith, D. 2006b. Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics. In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 233-242. Menlo Park, CA: AAAI Press.
-
(2006)
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling
, pp. 233-242
-
-
Bryce, D.1
Kambhampati, S.2
Smith, D.3
-
14
-
-
0002670841
-
New Results about LCGP, A Least Committed Graphplan
-
Menlo Park, CA: AAAI Press
-
Cayrol, M.; Regnier, P.; and Vidal, V. 2000. New Results about LCGP, A Least Committed Graphplan. In Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 273-282. Menlo Park, CA: AAAI Press.
-
(2000)
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems
, pp. 273-282
-
-
Cayrol, M.1
Regnier, P.2
Vidal, V.3
-
17
-
-
34247327121
-
Partial Satisfaction (Over-Subscription) Planning as Heuristic Search
-
Paper presented at the December
-
Do, M., and Kambhampati, S. 2004. Partial Satisfaction (Over-Subscription) Planning as Heuristic Search. Paper presented at the Fifth International Conference on Knowledge Based Computer Systems, Hyderabad, India, 19-22 December.
-
(2004)
Fifth International Conference on Knowledge Based Computer Systems, Hyderabad, India, 19-22
-
-
Do, M.1
Kambhampati, S.2
-
18
-
-
34247333543
-
Planning with Goal Utility Dependencies
-
Paper Presented at the Lake District, Cumbria, United Kingdom, 6-10 June
-
Do, M. B.; Benton, J.; and Kambhampati, S. 2006. Planning with Goal Utility Dependencies. Paper Presented at the Sixteenth International Conference on Automated Planning and Scheduling Workshop on Preferences and Soft Constraints, The English Lake District, Cumbria, United Kingdom, 6-10 June.
-
(2006)
Sixteenth International Conference on Automated Planning and Scheduling Workshop on Preferences and Soft Constraints, The English
-
-
Do, M.B.1
Benton, J.2
Kambhampati, S.3
-
21
-
-
84881576361
-
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
-
Los Altos, CA: William Kaufmann, Inc
-
Fikes, R., and Nilsson, N. 1971. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. In Proceedings of Second International Joint Conference on Artificial Intelligence, 608-620. Los Altos, CA: William Kaufmann, Inc.
-
(1971)
Proceedings of Second International Joint Conference on Artificial Intelligence
, pp. 608-620
-
-
Fikes, R.1
Nilsson, N.2
-
23
-
-
34247335191
-
-
Lakes District, Cumbria, United Kingdom
-
Gerevini, A.; Bonet, B.; and Givan, R. 2006. The Fifth International Planning Competition. The English Lakes District, Cumbria, United Kingdom.
-
(2006)
The Fifth International Planning Competition. The English
-
-
Gerevini, A.1
Bonet, B.2
Givan, R.3
-
25
-
-
33744480815
-
Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows
-
Denver, CO: Professional Book Center
-
Gerevini, A.; Saetti, A.; and Serina, I. 2005. Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, 1226-1231. Denver, CO: Professional Book Center.
-
(2005)
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence
, pp. 1226-1231
-
-
Gerevini, A.1
Saetti, A.2
Serina, I.3
-
26
-
-
85166919496
-
Representation and Control in IXTET, A Temporal Planner
-
Menlo Park, CA: AAAI Press
-
Ghallab, M., and Laruelle, H. 1994. Representation and Control in IXTET, A Temporal Planner. In Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 61-67. Menlo Park, CA: AAAI Press.
-
(1994)
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems
, pp. 61-67
-
-
Ghallab, M.1
Laruelle, H.2
-
32
-
-
0036377352
-
The FF Planning System: Fast Plan Generation through Heuristic Search
-
Hoffmann, J., and Nebel, B. 2001. The FF Planning System: Fast Plan Generation through Heuristic Search. Journal of Artificial Intelligence Research 14: 253-302.
-
(2001)
Journal of Artificial Intelligence Research
, vol.14
, pp. 253-302
-
-
Hoffmann, J.1
Nebel, B.2
-
33
-
-
13444301819
-
The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables
-
Hoffmann, J. 2003. The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables. Journal of Artificial Intelligence Research 20: 291-341.
-
(2003)
Journal of Artificial Intelligence Research
, vol.20
, pp. 291-341
-
-
Hoffmann, J.1
-
37
-
-
29344470126
-
Prottle: A Probabilistic Temporal Planner
-
Menlo Park, CA: AAAI Press
-
Little, I.; Aberdeen, D.; and Thiebaux, S. 2005. Prottle: A Probabilistic Temporal Planner. In Proceedings of the Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, 1181-1186. Menlo Park, CA: AAAI Press.
-
(2005)
Proceedings of the Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference
, pp. 1181-1186
-
-
Little, I.1
Aberdeen, D.2
Thiebaux, S.3
-
41
-
-
0003780657
-
PDDL - The Planning Domain Definition Language
-
TR-98-003, DCS TR-1165, Yale Center for Computational Vision and Control, New Haven, CT
-
McDermott, D. 1998. PDDL - The Planning Domain Definition Language. Technical Report CVC TR-98-003 / DCS TR-1165, Yale Center for Computational Vision and Control, New Haven, CT.
-
(1998)
Technical Report CVC
-
-
McDermott, D.1
-
42
-
-
0033522716
-
Using Regression-Match Graphs to Control Search in Planning
-
McDermott, D. 1999. Using Regression-Match Graphs to Control Search in Planning. Artificial Intelligence 109(1-2): 111-159.
-
(1999)
Artificial Intelligence
, vol.109
, Issue.1-2
, pp. 111-159
-
-
McDermott, D.1
-
43
-
-
14344285181
-
On the Compilability and Expressive Power of Propositional Planning Formalisms
-
Nebel, B. 2000. On the Compilability and Expressive Power of Propositional Planning Formalisms. Journal of Artificial Intelligence Research 12: 271-315.
-
(2000)
Journal of Artificial Intelligence Research
, vol.12
, pp. 271-315
-
-
Nebel, B.1
-
46
-
-
0036468047
-
Planning Graph as the Basis for Deriving Heuristics for Plan Synthesis by State Space and CSP Search
-
Nguyen, X.; Kambhampati, S.; and Nigenda, R. 2002. Planning Graph as the Basis for Deriving Heuristics for Plan Synthesis by State Space and CSP Search. Artificial Intelligence 135(1-2): 73-123.
-
(2002)
Artificial Intelligence
, vol.135
, Issue.1-2
, pp. 73-123
-
-
Nguyen, X.1
Kambhampati, S.2
Nigenda, R.3
-
47
-
-
0342425019
-
ADL and the State-Transition Model of Action
-
Pednault, E. P. D. 1994. ADL and the State-Transition Model of Action. Journal of Logic and Computation 4(5): 467-512.
-
(1994)
Journal of Logic and Computation
, vol.4
, Issue.5
, pp. 467-512
-
-
Pednault, E.P.D.1
-
48
-
-
0001198617
-
The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning
-
Refanidis, I., and Vlahavas, I. 2001. The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning. Journal of Artificial Intelligence Research 15: 115-161.
-
(2001)
Journal of Artificial Intelligence Research
, vol.15
, pp. 115-161
-
-
Refanidis, I.1
Vlahavas, I.2
-
50
-
-
84890309215
-
On-Line Planning and Scheduling for High-Speed Manufacturing
-
Menlo Park, CA: AAAI Press
-
Ruml, W.; Do, M. B.; and Fromherz, M. P. J. 2005. On-Line Planning and Scheduling for High-Speed Manufacturing. In Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling, 30-39. Menlo Park, CA: AAAI Press.
-
(2005)
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling
, pp. 30-39
-
-
Ruml, W.1
Do, M.B.2
Fromherz, M.P.J.3
-
56
-
-
9444248634
-
Effective Approaches for Partial Satisfaction (Over-Subscription) Planning
-
Menlo Park, CA: AAAI Press
-
Van Den Briel, M.; Nigenda, R. S.; Do, M. B.; and Kambhampati, S. 2004. Effective Approaches for Partial Satisfaction (Over-Subscription) Planning. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, 562-569. Menlo Park, CA: AAAI Press.
-
(2004)
Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence
, pp. 562-569
-
-
Van Den Briel, M.1
Nigenda, R.S.2
Do, M.B.3
Kambhampati, S.4
-
58
-
-
33746077092
-
Learning Heuristic Functions from Relaxed Plans
-
Menlo Park, CA: AAAI Press
-
Yoon, S.; Fern, A.; and Givan, R. 2006. Learning Heuristic Functions from Relaxed Plans. In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 162-171. Menlo Park, CA: AAAI Press.
-
(2006)
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling
, pp. 162-171
-
-
Yoon, S.1
Fern, A.2
Givan, R.3
|