\begin{thebibliography}{10}

\bibitem{Bacchus:01}
F.~Bacchus.
\newblock {AIPS'00} {P}lanning {C}ompetition.
\newblock {\em AI Magazine}, 22(3):47--56, 2001.

\bibitem{Bacchus:00}
F.~Bacchus and F.~Kabanza.
\newblock {U}sing {T}emporal {L}ogics to {E}xpress {S}earch {C}ontrol
  {K}nowledge for {P}lanning.
\newblock {\em Artificial Intelligence}, 16:123--191, 2000.

\bibitem{Bacchus:94}
F.~Bacchus and Q.~Yang.
\newblock {D}ownward {R}efinement and the {E}fficiency of {H}ierarchical
  {P}roblem {S}olving.
\newblock {\em Artificial Intelligence}, 71(1):43--100, November 1994.

\bibitem{Botea:02}
A.~Botea, M.~M\"{u}ller, and J.~Schaeffer.
\newblock {U}sing {A}bstraction for {P}lanning in {S}okoban.
\newblock In J.~Schaeffer, M.~M\"uller, and Y.~Bj\"ornsson, editors, {\em 3rd
  International Conference on Computers and Games (CG'2002)}, volume 2883 of
  {\em Lecture Notes in Artificial Intelligence}, pages 360--375, Edmonton,
  Canada, July 2002. Springer.

\bibitem{Botea:04b}
A.~Botea, M.~M\"{u}ller, and J.~Schaeffer.
\newblock {N}ear {O}ptimal {H}ierarchical {P}ath-{F}inding.
\newblock {\em Journal of Game Development}, 1(1):7--28, 2004.

\bibitem{Botea:04}
A.~Botea, M.~M\"{u}ller, and J.~Schaeffer.
\newblock {U}sing {C}omponent {A}bstraction for {A}utomatic {G}eneration of
  {M}acro-{A}ctions.
\newblock In {\em Fourteenth International Conference on Automated Planning and
  Scheduling ICAPS-04}, pages 181--190, Whistler, Canada, June 2004. AAAI
  Press.

\bibitem{Coles:04}
A.~Coles and A.~Smith.
\newblock {Marvin: Macro Actions from Reduced Versions of the Instance}.
\newblock In {\em Booklet of the Fourth International Planning Competition},
  pages 24--26, June 2004.

\bibitem{Fikes:71}
R.~E. Fikes and N.~Nilsson.
\newblock {STRIPS}: {A} {N}ew {A}pproach to the {A}pplication of {T}heorem
  {P}roving to {P}roblem {S}olving.
\newblock {\em Artificial Intelligence}, 5(2):189--208, 1971.

\bibitem{Helmert:04}
M.~Helmert.
\newblock A {P}lanning {H}euristic {B}ased on {C}ausal {G}raph {A}nalysis.
\newblock In {\em Fourteenth International Conference on Automated Planning and
  Scheduling ICAPS-04}, pages 161--170, Whistler, Canada, June 2004.

\bibitem{Hernadvolgyi:01}
I.~Hern{\'{a}}dv\"{o}lgyi.
\newblock {S}earching for {M}acro-operators with {A}utomatically {G}enerated
  {H}euristics.
\newblock In {\em Fourteenth Canadian Conference on Artificial Intelligence},
  pages 194--203, 2001.

\bibitem{Hoffmann:04}
J.~Hoffmann, S.~Edelkamp, R.~Englert, F.~Liporace, S.~Thi\'{e}baux, and
  S.~Tr\"{u}g.
\newblock {Towards Realistic Benchmarks for Planning: the Domains Used in the
  Classical Part of IPC-4}.
\newblock In {\em Booklet of the Fourth International Planning Competition},
  pages 7--14, June 2004.

\bibitem{Hoffmann:01a}
J.~Hoffmann and B.~Nebel.
\newblock {T}he {FF} {P}lanning {S}ystem: {F}ast {P}lan {G}eneration {T}hrough
  {H}euristic {S}earch.
\newblock {\em Journal of Artificial Intelligence Research}, 14:253--302, 2001.

\bibitem{Iba:89}
Glenn~A. Iba.
\newblock {A Heuristic Approach to the Discovery of Macro-Operators}.
\newblock {\em Machine Learning}, 3(4):285--317, 1989.

\bibitem{Junghanns:01}
A.~Junghanns and J.~Schaeffer.
\newblock {S}okoban: {E}nhancing {S}ingle-{A}gent {S}earch {U}sing {D}omain
  {K}nowledge.
\newblock {\em Artificial Intelligence}, 129(1--2):219--251, 2001.

\bibitem{Kambhampati:93}
S.~Kambhampati.
\newblock {\em Machine Learning Methods for Planning}, chapter Supporting
  Flexible Plan Reuse, pages 397--434.
\newblock Morgan Kaufmann, 1993.

\bibitem{Knoblock:94}
Craig~A. Knoblock.
\newblock {A}utomatically {G}enerating {A}bstractions for {P}lanning.
\newblock {\em Artificial Intelligence}, 68(2):243--302, 1994.

\bibitem{Korf:85}
R.~Korf.
\newblock {{Macro-Operators: A Weak Method for Learning}}.
\newblock {\em Artificial Intelligence}, 26(1):35--77, 1985.

\bibitem{Kvarnstrom:01}
J.~Kvarnstr\"{o}m and P.~Doherty.
\newblock {TAL}planner: {T}emporal {L}ogic {B}ased {F}orward {C}haining
  {P}lanner.
\newblock {\em Annals of Mathematics and Artificial Intelligence}, 30:119--169,
  2001.

\bibitem{Long:03}
D.~Long and M.~Fox.
\newblock {T}he 3rd {I}nternational {P}lanning {C}ompetition: {R}esults and
  {A}nalysis.
\newblock {\em Journal of Artificial Intelligence Research}, 20:1--59, 2003.
\newblock Special Issue on the 3rd International Planning Competition.

\bibitem{Marsland}
T.~Anthony Marsland.
\newblock {A Review of Game-Tree Pruning}.
\newblock {\em International Computer Chess Association Journal}, 9(1):3--19,
  1986.

\bibitem{McCluskey:97}
T.~L. McCluskey and J.~M. Porteous.
\newblock {Engineering and Compiling Planning Domain Models to Promote Validity
  and Efficiency}.
\newblock {\em {Artificial Intelligence}}, 95:{1--65}, 1997.

\bibitem{McDermott:00}
D.~McDermott.
\newblock {T}he 1998 {AI} {P}lanning {S}ystems {C}ompetition.
\newblock {\em AI Magazine}, 21(2):35--55, 2000.

\bibitem{Minton:85}
S.~Minton.
\newblock {S}electively {G}eneralizing {P}lans for {P}roblem-{S}olving.
\newblock In {\em IJCAI-85}, pages 596--599, 1985.

\bibitem{Minton:88}
S.~Minton.
\newblock {Learning Search Control Knowledge: An Explanation-Based Approach}.
\newblock Hingham, MA, 1988. Kluwer Academic Publishers.

\bibitem{Mooney:88}
R.~Mooney.
\newblock {Generalizing the Order of Operators in Macro-Operators}.
\newblock In {\em Fifth International Conference on Machine Learning ICML-88},
  pages 270--283, June 1988.

\bibitem{Nau:03}
D.~Nau, T.~Au, O.~Ilghami, U.~Kuter, J.~Murdock, D.~Wu, and F.~Yaman.
\newblock {SHOP2}: {A}n {HTN} {P}lanning {S}ystem.
\newblock {\em Journal of Artificial Intelligence Research}, 20:379--404, 2003.

\bibitem{Sacerdoti:75}
E.~Sacerdoti.
\newblock {T}he {N}onlinear {N}ature of {P}lans.
\newblock In {\em Proceedings IJCAI-75}, pages 206--214, 1975.

\bibitem{Tate:77}
A.~Tate.
\newblock {G}enerating {P}roject {N}etworks.
\newblock In {\em Proceedings of IJCAI-77}, pages 888--893, 1977.

\bibitem{Veloso:93}
M.~Veloso and J.~Carbonell.
\newblock {\em Machine Learning Methods for Planning}, chapter Toward Scaling
  Up Machine Learning: A Case Study with Derivational Analogy, pages 233--272.
\newblock Morgan Kaufmann, 1993.

\bibitem{Vidal:04}
V.~Vidal.
\newblock {A} {L}ookahead {S}trategy for {H}euristic {S}earch {P}lanning.
\newblock In {\em Fourteenth International Conference on Automated Planning and
  Scheduling ICAPS-04}, pages 150--159, Whistler, Canada, June 2004.

\bibitem{Wilkins:01}
D.~Wilkins and M.~desJardins.
\newblock {{A Call for Knowledge-Based Planning}}.
\newblock {\em AI Magazine}, 22(1):99--115, 2001.

\end{thebibliography}
