-
1
-
-
60549117040
-
-
A. Blum, M. Furst, Fast planning through planning graph analysis, in: Proc. of the 14th Int'l Joint Conf. on Artificial Intelligence (IJCAI-95), Montreal, Quebec, Canada. August 20-25, 1995, pp. 1636-1642
-
A. Blum, M. Furst, Fast planning through planning graph analysis, in: Proc. of the 14th Int'l Joint Conf. on Artificial Intelligence (IJCAI-95), Montreal, Quebec, Canada. August 20-25, 1995, pp. 1636-1642
-
-
-
-
2
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
Fikes R.E., and Nilsson N.J. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 3-4 (1971) 189-208
-
(1971)
Artificial Intelligence
, vol.2
, Issue.3-4
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
3
-
-
0000532979
-
ADL: Exploring the middle ground between strips and the situation calculus
-
Brachman R.J., Levesque H.J., and Reiter R. (Eds). Toronto, Canada, May 15-18, 1989, Morgan Kaufmann
-
Pednault E. ADL: Exploring the middle ground between strips and the situation calculus. In: Brachman R.J., Levesque H.J., and Reiter R. (Eds). Proc. of the 1st Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR-89). Toronto, Canada, May 15-18, 1989 (1989), Morgan Kaufmann
-
(1989)
Proc. of the 1st Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR-89)
-
-
Pednault, E.1
-
4
-
-
60549087636
-
-
AIPS-98 International Planning Competition Committee, PDDL: The planning domain definition language, Tech. rep., Yale Center for Computational Vision and Control, the AIPS-98 committee consisted of: M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, D. Wilkins, October 1998
-
AIPS-98 International Planning Competition Committee, PDDL: The planning domain definition language, Tech. rep., Yale Center for Computational Vision and Control, the AIPS-98 committee consisted of: M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, D. Wilkins, October 1998
-
-
-
-
6
-
-
9444231507
-
The 3rd international planning competition: Results and analysis
-
Long D., and Fox M. The 3rd international planning competition: Results and analysis. Journal of Artificial Intelligence Research 20 (2003) 1-59
-
(2003)
Journal of Artificial Intelligence Research
, vol.20
, pp. 1-59
-
-
Long, D.1
Fox, M.2
-
9
-
-
0033698818
-
The 1998 AI planning systems competition
-
McDermott D. The 1998 AI planning systems competition. AI Magazine 2 2 (2000) 35-55
-
(2000)
AI Magazine
, vol.2
, Issue.2
, pp. 35-55
-
-
McDermott, D.1
-
10
-
-
0035442648
-
AIPS'00 planning competition
-
Bacchus F. AIPS'00 planning competition. AI Magazine 22 3 (2001) 47-56
-
(2001)
AI Magazine
, vol.22
, Issue.3
, pp. 47-56
-
-
Bacchus, F.1
-
11
-
-
60549105701
-
The benchmark domains of the deterministic part of IPC-5
-
Monterey, CA, USA, June 5-10
-
Y. Dimopoulos, A. Gerevini, P. Haslum, A. Saetti, The benchmark domains of the deterministic part of IPC-5, in: Special Booklet for the Planning Competition in the Working Notes of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06), Monterey, CA, USA, June 5-10, 2006
-
(2006)
Special Booklet for the Planning Competition in the Working Notes of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06)
-
-
Dimopoulos, Y.1
Gerevini, A.2
Haslum, P.3
Saetti, A.4
-
12
-
-
84887842712
-
Exploiting competitive planner performance
-
Proc. 5th European Conf. on Planning (ECP-99). Biundo S., and Fox M. (Eds). Durham UK September 8-10, Springer
-
Howe A., Dahlman E., Hansen C., Scheetz M., and vonMayrhauser A. Exploiting competitive planner performance. In: Biundo S., and Fox M. (Eds). Proc. 5th European Conf. on Planning (ECP-99). Durham UK September 8-10. Lecture Notes on Computer Science vol. 1809 (1999), Springer
-
(1999)
Lecture Notes on Computer Science
, vol.1809
-
-
Howe, A.1
Dahlman, E.2
Hansen, C.3
Scheetz, M.4
vonMayrhauser, A.5
-
16
-
-
60549110965
-
-
J. Hoffmann, Local search topology in planning benchmarks: A theoretical analysis, Tech. Rep. 165, Institute for Computer Science, Albert Ludwigs University, Georges-Koehler-Allee, Geb. 52, 79110 Freiburg, Germany, November 16 2001
-
J. Hoffmann, Local search topology in planning benchmarks: A theoretical analysis, Tech. Rep. 165, Institute for Computer Science, Albert Ludwigs University, Georges-Koehler-Allee, Geb. 52, 79110 Freiburg, Germany, November 16 2001
-
-
-
-
17
-
-
31144454040
-
Where ignoring delete lists works: Local search topology in planning benchmarks
-
Hoffmann J. Where ignoring delete lists works: Local search topology in planning benchmarks. Journal of Artificial Intelligence Research 24 (2005) 685-758
-
(2005)
Journal of Artificial Intelligence Research
, vol.24
, pp. 685-758
-
-
Hoffmann, J.1
-
20
-
-
0032596410
-
Algorithm performance and problem structure for flow-shop scheduling
-
Orlando, FL, AAAI/MIT Press, Anaheim, CA
-
Watson J., Barbulescu L., Howe A., and Whitley L. Algorithm performance and problem structure for flow-shop scheduling. Proc. of the 16th National Conference on Artificial Intelligence (AAAI-99). Orlando, FL (1999), AAAI/MIT Press, Anaheim, CA
-
(1999)
Proc. of the 16th National Conference on Artificial Intelligence (AAAI-99)
-
-
Watson, J.1
Barbulescu, L.2
Howe, A.3
Whitley, L.4
-
21
-
-
84890309215
-
On-line planning and scheduling for high-speed manufacturing
-
Monterey, CA, USA, June 5-10, 2005, AAAI Press, Menlo Park, CA
-
Ruml W., Do M.B., and Fromherz M.P. On-line planning and scheduling for high-speed manufacturing. Proc. of the 15th Int'l Conf. on Automated Planning and Scheduling (ICAPS-05). Monterey, CA, USA, June 5-10, 2005 (2005), AAAI Press, Menlo Park, CA 30-39
-
(2005)
Proc. of the 15th Int'l Conf. on Automated Planning and Scheduling (ICAPS-05)
, pp. 30-39
-
-
Ruml, W.1
Do, M.B.2
Fromherz, M.P.3
-
23
-
-
84890260789
-
Course of action generation for cyber security using classical planning
-
Monterey, CA, USA, June 5-10, 2005, AAAI Press, Menlo Park, CA
-
Boddy M., Gohde J., Haigh J.T., and Harp S. Course of action generation for cyber security using classical planning. Proc. of the 15th Int'l Conf. on Automated Planning and Scheduling (ICAPS-05). Monterey, CA, USA, June 5-10, 2005 (2005), AAAI Press, Menlo Park, CA
-
(2005)
Proc. of the 15th Int'l Conf. on Automated Planning and Scheduling (ICAPS-05)
-
-
Boddy, M.1
Gohde, J.2
Haigh, J.T.3
Harp, S.4
-
24
-
-
33746223651
-
Linkability: Examining causal link commitments in partial-order planning
-
Hammond K.J. (Ed). Chicago, Illinois, June 13-15, 1994, AAAI Press
-
Veloso M., and Blythe J. Linkability: Examining causal link commitments in partial-order planning. In: Hammond K.J. (Ed). Proc. of the 2nd Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-94). Chicago, Illinois, June 13-15, 1994 (1994), AAAI Press 170-175
-
(1994)
Proc. of the 2nd Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-94)
, pp. 170-175
-
-
Veloso, M.1
Blythe, J.2
-
25
-
-
58849113596
-
What makes planners predictable?
-
Sydney, Australia, September 14-18, 2008, AAAI Press, Menlo Park, CA
-
Roberts M., Howe A., Wilson B., and desJardins M. What makes planners predictable?. Proc. of the 18th Int'l Conf. on Automated Planning and Scheduling (ICAPS-08). Sydney, Australia, September 14-18, 2008 (2008), AAAI Press, Menlo Park, CA
-
(2008)
Proc. of the 18th Int'l Conf. on Automated Planning and Scheduling (ICAPS-08)
-
-
Roberts, M.1
Howe, A.2
Wilson, B.3
desJardins, M.4
-
26
-
-
58849160760
-
Machine learning for adaptive planning
-
Idea Group
-
D. Vrakas, G. Tsoumakas, N. Bassiliades, I. Vlahavas, Machine learning for adaptive planning, in: Intelligent Techniques for Planning, Idea Group, 2005, pp. 90-120
-
(2005)
Intelligent Techniques for Planning
, pp. 90-120
-
-
Vrakas, D.1
Tsoumakas, G.2
Bassiliades, N.3
Vlahavas, I.4
-
28
-
-
84880886806
-
Long distance mutual exclusion for propositional planning
-
Hyderabad, India, January 6-12
-
Y. Chen, X. Zhao, W. Zhang, Long distance mutual exclusion for propositional planning, in: Proc. of the 20th Int'l Joint Conf. on Artificial Intelligence (IJCAI-07). Hyderabad, India, January 6-12, 2007
-
(2007)
Proc. of the 20th Int'l Joint Conf. on Artificial Intelligence (IJCAI-07)
-
-
Chen, Y.1
Zhao, X.2
Zhang, W.3
-
29
-
-
0142185119
-
Planning as propositional CSP: from Walksat to local search for action graphs
-
Gerevini A., and Serina I. Planning as propositional CSP: from Walksat to local search for action graphs. CONSTRAINTS 8 (2003) 389-413
-
(2003)
CONSTRAINTS
, vol.8
, pp. 389-413
-
-
Gerevini, A.1
Serina, I.2
-
32
-
-
34249062953
-
Marvin: A heuristic search planner with online macro-action learning
-
Coles A.I., and Smith A.J. Marvin: A heuristic search planner with online macro-action learning. Journal of Artificial Intelligence Research 28 (2007) 119-156
-
(2007)
Journal of Artificial Intelligence Research
, vol.28
, pp. 119-156
-
-
Coles, A.I.1
Smith, A.J.2
-
33
-
-
0037301799
-
Complexity results for standard benchmark domains in planning
-
Helmert M. Complexity results for standard benchmark domains in planning. Artificial Intelligence 143 2 (2003) 219-262
-
(2003)
Artificial Intelligence
, vol.143
, Issue.2
, pp. 219-262
-
-
Helmert, M.1
-
34
-
-
33746067113
-
New complexity results for classical planning benchmarks
-
Cumbria, UK, June 6-10, 2006, AAAI Press, Menlo Park, CA
-
Helmert M. New complexity results for classical planning benchmarks. Proc. of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06). Cumbria, UK, June 6-10, 2006 (2006), AAAI Press, Menlo Park, CA 52-61
-
(2006)
Proc. of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06)
, pp. 52-61
-
-
Helmert, M.1
-
35
-
-
0035441908
-
A planner called R
-
Lin F. A planner called R. Artificial Intelligence 22 3 (2001) 73-76
-
(2001)
Artificial Intelligence
, vol.22
, Issue.3
, pp. 73-76
-
-
Lin, F.1
-
38
-
-
32144443210
-
Integrating planning and learning: The PRODIGY architecture
-
Veloso M., Carbonell J., Perez A., Borrajo D., Fink E., and Blythe J. Integrating planning and learning: The PRODIGY architecture. Journal of Experimental and Theoretical Artificial Intelligence 7 1 (1995) 81-120
-
(1995)
Journal of Experimental and Theoretical Artificial Intelligence
, vol.7
, Issue.1
, pp. 81-120
-
-
Veloso, M.1
Carbonell, J.2
Perez, A.3
Borrajo, D.4
Fink, E.5
Blythe, J.6
-
39
-
-
0342772590
-
Systematic nonlinear planning
-
AAAI Press/MIT Press, Anaheim, CA
-
McAllester D., and Rosenblitt D. Systematic nonlinear planning. Proc. of the 9th National Conference on Artificial Intelligence (AAAI-91), vol. 2 (1991), AAAI Press/MIT Press, Anaheim, CA 634-639
-
(1991)
Proc. of the 9th National Conference on Artificial Intelligence (AAAI-91), vol. 2
, pp. 634-639
-
-
McAllester, D.1
Rosenblitt, D.2
-
40
-
-
0002489296
-
UCPOP: A sound, complete, partial-order planner for ADL
-
Nebel B., Rich C., and Swartout W.R. (Eds). Cambridge, MA, October 25-29, 1992, Morgan Kaufmann
-
Penberthy J.S., and Weld D. UCPOP: A sound, complete, partial-order planner for ADL. In: Nebel B., Rich C., and Swartout W.R. (Eds). Proc. of the 3rd Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR-92). Cambridge, MA, October 25-29, 1992 (1992), Morgan Kaufmann
-
(1992)
Proc. of the 3rd Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR-92)
-
-
Penberthy, J.S.1
Weld, D.2
-
42
-
-
60549100636
-
-
J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopoulos, Extending planning graphs to an ADL subset, Tech. Rep. 88/97, Institute for Computer Science, Albert Ludwigs University, 1997
-
J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopoulos, Extending planning graphs to an ADL subset, Tech. Rep. 88/97, Institute for Computer Science, Albert Ludwigs University, 1997
-
-
-
-
43
-
-
84898681853
-
Extending planning graphs to an ADL subset
-
Proc. of the 4th European Conference on Planning (ECP-97). Steel S., and Alami R. (Eds). Toulouse, France, September 24-26, 1997, Springer
-
Koehler J., Nebel B., Hoffmann J., and Dimopoulos Y. Extending planning graphs to an ADL subset. In: Steel S., and Alami R. (Eds). Proc. of the 4th European Conference on Planning (ECP-97). Toulouse, France, September 24-26, 1997. Lecture Notes in Computer Science vol. 1348 (1997), Springer 273-285
-
(1997)
Lecture Notes in Computer Science
, vol.1348
, pp. 273-285
-
-
Koehler, J.1
Nebel, B.2
Hoffmann, J.3
Dimopoulos, Y.4
-
44
-
-
60549100441
-
-
Web Page at last accessed September 11, 2007 (October 15 2006)
-
Koehler J. IPP homepage. Web Page at. http://www.informatik.uni-freiburg.de/~koehler/ipp.html last accessed September 11, 2007 (October 15 2006)
-
IPP homepage
-
-
Koehler, J.1
-
45
-
-
60549109988
-
-
J. Koehler, J. Hoffmann, Planning with goal agendas, Tech. Rep. 110, Institute for Computer Science, Albert Ludwigs University, 1998
-
J. Koehler, J. Hoffmann, Planning with goal agendas, Tech. Rep. 110, Institute for Computer Science, Albert Ludwigs University, 1998
-
-
-
-
46
-
-
14344270404
-
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
-
Koehler J., and Hoffmann J. On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm. Journal of Artificial Intelligence Research 12 (2000) 338-386
-
(2000)
Journal of Artificial Intelligence Research
, vol.12
, pp. 338-386
-
-
Koehler, J.1
Hoffmann, J.2
-
47
-
-
84880674989
-
Ignoring irrelevant facts and operators in plan generation
-
Proceedings of the 4th European Conference on Planning, Springer
-
Nebel B., Dimopoulos Y., and Koehler J. Ignoring irrelevant facts and operators in plan generation. Proceedings of the 4th European Conference on Planning. LNAI vol. 1348 (1997), Springer 338-350
-
(1997)
LNAI
, vol.1348
, pp. 338-350
-
-
Nebel, B.1
Dimopoulos, Y.2
Koehler, J.3
-
48
-
-
0031619007
-
Extending Graphplan to handle uncertainty and sensing actions
-
Madison, WI, AAAI/MIT Press, Anaheim, CA
-
Weld D.S., Anderson C.R., and Smith D.E. Extending Graphplan to handle uncertainty and sensing actions. Proc. of the 15th National Conference on Artificial Intelligence (AAAI-98). Madison, WI (1998), AAAI/MIT Press, Anaheim, CA 897-904
-
(1998)
Proc. of the 15th National Conference on Artificial Intelligence (AAAI-98)
, pp. 897-904
-
-
Weld, D.S.1
Anderson, C.R.2
Smith, D.E.3
-
49
-
-
0032633177
-
Recent advances in AI planning
-
Weld D.S. Recent advances in AI planning. AI Magazine 20 2 (1999) 93-123
-
(1999)
AI Magazine
, vol.20
, Issue.2
, pp. 93-123
-
-
Weld, D.S.1
-
51
-
-
0035369022
-
Planning as heuristic search
-
Bonet B., and Geffner H. Planning as heuristic search. Artificial Intelligence 129 1-2 (2001) 5-33
-
(2001)
Artificial Intelligence
, vol.129
, Issue.1-2
, pp. 5-33
-
-
Bonet, B.1
Geffner, H.2
-
52
-
-
0000901610
-
Planning as heuristic search: New results
-
Proc. 5th European Conf. on Planning (ECP-99). Biundo S., and Fox M. (Eds). Durham, UK, September 8-10, 1999, Springer
-
Bonet B., and Geffner H. Planning as heuristic search: New results. In: Biundo S., and Fox M. (Eds). Proc. 5th European Conf. on Planning (ECP-99). Durham, UK, September 8-10, 1999. Lecture Notes on Computer Science vol. 1809 (1999), Springer 359-371
-
(1999)
Lecture Notes on Computer Science
, vol.1809
, pp. 359-371
-
-
Bonet, B.1
Geffner, H.2
-
53
-
-
85166200109
-
Admissible heuristics for optimal planning
-
Breckenridge, CO, USA, April 14-17, 2000, AAAI Press, Menlo Park, CA
-
Haslum P., and Geffner H. Admissible heuristics for optimal planning. Proc. of the 5th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-00). Breckenridge, CO, USA, April 14-17, 2000 (2000), AAAI Press, Menlo Park, CA 140-149
-
(2000)
Proc. of the 5th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-00)
, pp. 140-149
-
-
Haslum, P.1
Geffner, H.2
-
54
-
-
13444260042
-
A planning heuristic based on causal graph analysis
-
Whistler, BC, Canada, AAAI Press, Menlo Park, CA
-
Helmert M. A planning heuristic based on causal graph analysis. Proc. of the 14th Int'l Conf. on Automated Planning and Scheduling (ICAPS-04). Whistler, BC, Canada (2004), AAAI Press, Menlo Park, CA 161-170
-
(2004)
Proc. of the 14th Int'l Conf. on Automated Planning and Scheduling (ICAPS-04)
, pp. 161-170
-
-
Helmert, M.1
-
56
-
-
0036377352
-
The FF planning system: Fast plan generation through heuristic search
-
Hoffmann J., and Nebel B. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14 (2001) 253-302
-
(2001)
Journal of Artificial Intelligence Research
, vol.14
, pp. 253-302
-
-
Hoffmann, J.1
Nebel, B.2
-
57
-
-
13444301819
-
The Metric-FF planning system: Translating "ignoring delete lists" to numeric state variables
-
Hoffmann J. The Metric-FF planning system: Translating "ignoring delete lists" to numeric state variables. Journal of Artificial Intelligence Research 20 (2003) 291-341
-
(2003)
Journal of Artificial Intelligence Research
, vol.20
, pp. 291-341
-
-
Hoffmann, J.1
-
58
-
-
85164908935
-
LPG: A planner based on local search for planning graphs
-
Ghallab M., Hertzberg J., and Traverso P. (Eds). Toulouse, France, April 23-27, 2002, AAAI Press, Menlo Park, CA
-
Gerevini A., and Serina I. LPG: A planner based on local search for planning graphs. In: Ghallab M., Hertzberg J., and Traverso P. (Eds). Proc. of the 6th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-02). Toulouse, France, April 23-27, 2002 (2002), AAAI Press, Menlo Park, CA 13-22
-
(2002)
Proc. of the 6th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-02)
, pp. 13-22
-
-
Gerevini, A.1
Serina, I.2
-
59
-
-
0344576623
-
Local search techniques for temporal planning in LPG
-
Trento, Italy, June 9-13, 2003, AAAI Press
-
Gerevini A., Serina I., Saetti A., and Spinoni S. Local search techniques for temporal planning in LPG. Proc. of the 13th Int'l Conf. on Automated Planning and Scheduling (ICAPS-03). Trento, Italy, June 9-13, 2003 (2003), AAAI Press
-
(2003)
Proc. of the 13th Int'l Conf. on Automated Planning and Scheduling (ICAPS-03)
-
-
Gerevini, A.1
Serina, I.2
Saetti, A.3
Spinoni, S.4
-
60
-
-
33744465804
-
An approach to temporal planning and scheduling in domains with predicatable exogenous events
-
Gerevini A., Saetti A., and Serina I. An approach to temporal planning and scheduling in domains with predicatable exogenous events. Journal of Artificial Intelligence Research 25 (2006) 187-231
-
(2006)
Journal of Artificial Intelligence Research
, vol.25
, pp. 187-231
-
-
Gerevini, A.1
Saetti, A.2
Serina, I.3
-
62
-
-
29344461738
-
Planning in PDDL2.2 domains with LPG-TD
-
Whistler, BC, Canada
-
A. Gerevini, A. Saetti, I. Serina, Planning in PDDL2.2 domains with LPG-TD, in: Special Booklet for the Planning Competition in the Working Notes of the 14th Int'l Conf. on Automated Planning and Scheduling (ICAPS-04), Whistler, BC, Canada, 2004
-
(2004)
Special Booklet for the Planning Competition in the Working Notes of the 14th Int'l Conf. on Automated Planning and Scheduling (ICAPS-04)
-
-
Gerevini, A.1
Saetti, A.2
Serina, I.3
-
63
-
-
60549101173
-
-
D. McDermott, The Optop planner, in: Special Booklet for the Planning Competition in the Working Notes of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06), Monterey, CA, USA, June 5-10, July 2004
-
D. McDermott, The Optop planner, in: Special Booklet for the Planning Competition in the Working Notes of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06), Monterey, CA, USA, June 5-10, July 2004
-
-
-
-
65
-
-
85166378667
-
A heuristic estimator for means ends analysis in planning
-
Drabble B. (Ed). Edinburgh, Scotland, May 29-31, 1996, AAAI Press, Menlo Park, CA
-
McDermott D. A heuristic estimator for means ends analysis in planning. In: Drabble B. (Ed). Proc. of the 3rd Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-98). Edinburgh, Scotland, May 29-31, 1996 (1996), AAAI Press, Menlo Park, CA 142-149
-
(1996)
Proc. of the 3rd Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-98)
, pp. 142-149
-
-
McDermott, D.1
-
66
-
-
0033522716
-
Using regression-match graphs to control search in planning
-
McDermott D. Using regression-match graphs to control search in planning. Artificial Intelligence 109 1-2 (1999) 111-159
-
(1999)
Artificial Intelligence
, vol.109
, Issue.1-2
, pp. 111-159
-
-
McDermott, D.1
-
67
-
-
79952273484
-
Domain independent on-line planning for STRIPS domains
-
Proc. IBERAMIA-02, Springer-Verlag
-
Sapena O., and Onainda E. Domain independent on-line planning for STRIPS domains. Proc. IBERAMIA-02. LNAI vol. 2527 (2002), Springer-Verlag
-
(2002)
LNAI
, vol.2527
-
-
Sapena, O.1
Onainda, E.2
-
70
-
-
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.S. Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search. Artificial Intelligence 135 (2002) 73-124
-
(2002)
Artificial Intelligence
, vol.135
, pp. 73-124
-
-
Nguyen, X.1
Kambhampati, S.2
Nigenda, R.S.3
-
71
-
-
0344145225
-
Automated planning and scheduling using calculus of variations in discrete space
-
Trento, Italy, June 9-13, 2003, AAAI Press
-
Chen Y., and Wah B.W. Automated planning and scheduling using calculus of variations in discrete space. Proc. of the 13th Int'l Conf. on Automated Planning and Scheduling (ICAPS-03). Trento, Italy, June 9-13, 2003 (2003), AAAI Press 2-11
-
(2003)
Proc. of the 13th Int'l Conf. on Automated Planning and Scheduling (ICAPS-03)
, pp. 2-11
-
-
Chen, Y.1
Wah, B.W.2
-
73
-
-
0038256824
-
BLACKBOX: A new approach to the application of theorem proving to problem solving
-
Pittsburgh, PA, USA, June 7-10, 1998, AAAI Press, Menlo Park, CA
-
Kautz H., and Selman B. BLACKBOX: A new approach to the application of theorem proving to problem solving. Workshop on Planning as Combinatorial Search, Working Notes of the 4th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-98). Pittsburgh, PA, USA, June 7-10, 1998 (1998), AAAI Press, Menlo Park, CA
-
(1998)
Workshop on Planning as Combinatorial Search, Working Notes of the 4th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-98)
-
-
Kautz, H.1
Selman, B.2
-
74
-
-
84880681440
-
Unifying SAT-based and graph-based planning
-
Stockholm, Sweden, July 31-August 6
-
H. Kautz, B. Selman, Unifying SAT-based and graph-based planning, in: Proc. of the 16th Int'l Joint Conf. on Artificial Intelligence (IJCAI-99), Stockholm, Sweden, July 31-August 6, 1999
-
(1999)
Proc. of the 16th Int'l Joint Conf. on Artificial Intelligence (IJCAI-99)
-
-
Kautz, H.1
Selman, B.2
-
75
-
-
38349080397
-
Satplan: Planning as satisfiability
-
Monterey, CA, USA, June 5-10
-
H. Kautz, B. Selman, J. Hoffmann, Satplan: Planning as satisfiability, in: Special Booklet for the International Planning Competition in the Working Notes of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06), Monterey, CA, USA, June 5-10, 2006
-
(2006)
Special Booklet for the International Planning Competition in the Working Notes of the 16th Int'l Conf. on Automated Planning and Scheduling (ICAPS-06)
-
-
Kautz, H.1
Selman, B.2
Hoffmann, J.3
-
76
-
-
60549103654
-
On the implementation of MIPS
-
Breckenridge, CO, USA, April 14-17, 2000, AAAI Press, Menlo Park, CA
-
Edelkamp S., and Helmert M. On the implementation of MIPS. Proc. of the 5th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-00). Breckenridge, CO, USA, April 14-17, 2000 (2000), AAAI Press, Menlo Park, CA
-
(2000)
Proc. of the 5th Int'l Conf. on Artificial Intelligence Planning Systems (AIPS-00)
-
-
Edelkamp, S.1
Helmert, M.2
|