\begin{thebibliography}{}

\bibitem[\protect\BCAY{Allen}{Allen}{1984}]{allenintervals}
Allen, J. \BBOP1984\BBCP.
\newblock \BBOQ Towards a general theory of action and time\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 23}, 123--154.

\bibitem[\protect\BCAY{Allen}{Allen}{1991}]{allenplanning}
Allen, J. \BBOP1991\BBCP.
\newblock \BBOQ Planning as temporal reasoning\BBCQ\
\newblock In {\Bem Proceedings of {KR-91}}, \BPGS\ 3--14.

\bibitem[\protect\BCAY{Bacchus\ \BBA\ Ady}{Bacchus\ \BBA\
  Ady}{2001}]{bacchusconcurrency}
Bacchus, F.\BBACOMMA\  \BBA\ Ady, M. \BBOP2001\BBCP.
\newblock \BBOQ Planning with resources and concurrency: A forward chaining
  approach\BBCQ\
\newblock In {\Bem Proceedings of {IJCAI'01}}, \BPGS\ 417--424.

\bibitem[\protect\BCAY{Bacchus\ \BBA\ Kabanza}{Bacchus\ \BBA\
  Kabanza}{1998}]{fahiemandFroddy}
Bacchus, F.\BBACOMMA\  \BBA\ Kabanza, F. \BBOP1998\BBCP.
\newblock \BBOQ Planning for temporally extended goals\BBCQ\
\newblock {\Bem Annals of Mathematics and Artificial Intelligence}, {\Bem 22},
  5--27.

\bibitem[\protect\BCAY{Bacchus\ \BBA\ Kabanza}{Bacchus\ \BBA\
  Kabanza}{2000}]{bacchus}
Bacchus, F.\BBACOMMA\  \BBA\ Kabanza, F. \BBOP2000\BBCP.
\newblock \BBOQ Using temporal logic to express search control knowledge for
  planning\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 116(1-2)}, 123--191.

\bibitem[\protect\BCAY{Bacchus, Tenenberg,\ \BBA\ Koomen}{Bacchus
  et~al.}{1991}]{bacchustime}
Bacchus, F., Tenenberg, J., \BBA\ Koomen, J. \BBOP1991\BBCP.
\newblock \BBOQ A non-reified temporal logic for {AI}\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 52}, 87--108.

\bibitem[\protect\BCAY{Blum\ \BBA\ Furst}{Blum\ \BBA\ Furst}{1995}]{blum}
Blum, A.\BBACOMMA\  \BBA\ Furst, M. \BBOP1995\BBCP.
\newblock \BBOQ Fast {P}lanning through {P}lan-graph {A}nalysis\BBCQ\
\newblock In {\Bem Proceedings of {IJCAI-95}}.

\bibitem[\protect\BCAY{Cesta\ \BBA\ Oddi}{Cesta\ \BBA\ Oddi}{1996}]{oddi}
Cesta, A.\BBACOMMA\  \BBA\ Oddi, A. \BBOP1996\BBCP.
\newblock \BBOQ Gaining efficiency and flexibility in the simple temporal
  problem\BBCQ\
\newblock In Chittaro, L., Goodwin, S., Hamilton, H., \BBA\ Montanari, A.\BEDS,
  {\Bem Proceedings of {TIME}'96}.

\bibitem[\protect\BCAY{Chapman}{Chapman}{1987}]{chapman}
Chapman, D. \BBOP1987\BBCP.
\newblock \BBOQ Planning for conjunctive goals\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 29}, 333--377.

\bibitem[\protect\BCAY{Dechter, Meiri,\ \BBA\ Pearl}{Dechter
  et~al.}{1991}]{dechter}
Dechter, R., Meiri, I., \BBA\ Pearl, J. \BBOP1991\BBCP.
\newblock \BBOQ Temporal constraint networks\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 49}.

\bibitem[\protect\BCAY{Do\ \BBA\ Kambhampati}{Do\ \BBA\
  Kambhampati}{2001}]{sapa}
Do, M.~B.\BBACOMMA\  \BBA\ Kambhampati, S. \BBOP2001\BBCP.
\newblock \BBOQ Sapa: a domain-independent heuristic metric temporal
  planner\BBCQ\
\newblock In {\Bem Proceedings of {ECP}-01}.

\bibitem[\protect\BCAY{Drabble\ \BBA\ Tate}{Drabble\ \BBA\ Tate}{1994}]{oplan}
Drabble, B.\BBACOMMA\  \BBA\ Tate, A. \BBOP1994\BBCP.
\newblock \BBOQ The use of optimistic and pessimistic resource profiles to
  inform search in an activity based planner\BBCQ\
\newblock In {\Bem Proceedings of {AIPS}-94}. AAAI Press.

\bibitem[\protect\BCAY{El-Kholy\ \BBA\ Richards}{El-Kholy\ \BBA\
  Richards}{1996}]{parcplan}
El-Kholy, A.\BBACOMMA\  \BBA\ Richards, B. \BBOP1996\BBCP.
\newblock \BBOQ Temporal and resource reasoning in planning: the {ParcPlan}
  approach\BBCQ\
\newblock In {\Bem Proceedings of {ECAI}'96}.

\bibitem[\protect\BCAY{Fikes\ \BBA\ Nilsson}{Fikes\ \BBA\
  Nilsson}{1971}]{fikes}
Fikes, R.\BBACOMMA\  \BBA\ Nilsson, N. \BBOP1971\BBCP.
\newblock \BBOQ {STRIPS: A} new approach to the application of theorem-proving
  to problem-solving\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 2\/}(3), 189--208.

\bibitem[\protect\BCAY{Fox\ \BBA\ Long}{Fox\ \BBA\ Long}{2002}]{foxlpddl2}
Fox, M.\BBACOMMA\  \BBA\ Long, D. \BBOP2002\BBCP.
\newblock \BBOQ {PDDL}+ : Planning with time and metric resources\BBCQ\
\newblock \BTR\ Department of Computer Science, 21/02, University of Durham,
  UK. Available at: {\small {\tt
  http://www.dur.ac.uk/d.p.long/competition.html}}.

\bibitem[\protect\BCAY{Galipienso\ \BBA\ Sanchis}{Galipienso\ \BBA\
  Sanchis}{2002}]{galipienso}
Galipienso, M.\BBACOMMA\  \BBA\ Sanchis, F. \BBOP2002\BBCP.
\newblock \BBOQ Representation and reasoning with disjunction temporal
  constraints\BBCQ\
\newblock In {\Bem Proceedings of {TIME'02}}.

\bibitem[\protect\BCAY{Garrido, Onaind{\'{\i}}a,\ \BBA\ Barber}{Garrido
  et~al.}{2001}]{garrido}
Garrido, A., Onaind{\'{\i}}a, E., \BBA\ Barber, F. \BBOP2001\BBCP.
\newblock \BBOQ Time-optimal planning in temporal problems\BBCQ\
\newblock In {\Bem Proceedings of {ECP}'01}.

\bibitem[\protect\BCAY{Gazen\ \BBA\ Knoblock}{Gazen\ \BBA\
  Knoblock}{1997}]{gazen}
Gazen, B.\BBACOMMA\  \BBA\ Knoblock, C. \BBOP1997\BBCP.
\newblock \BBOQ Combining the expressivity of {UCPOP} with the efficiency of
  {Graphplan}\BBCQ\
\newblock In {\Bem Proceedings of {ECP-97}}, \BPGS\ 221--233.

\bibitem[\protect\BCAY{Gelfond, Lifschitz,\ \BBA\ Rabinov}{Gelfond
  et~al.}{1991}]{gelfond}
Gelfond, M., Lifschitz, V., \BBA\ Rabinov, A. \BBOP1991\BBCP.
\newblock \BBOQ What are the limitations of the situation calculus?\BBCQ\
\newblock In Boyer, R.\BED, {\Bem Essays in honor of {Woody Bledsoe}}, \BPGS\
  167--179. Kluwer Academic.

\bibitem[\protect\BCAY{Ghallab\ \BBA\ Laruelle}{Ghallab\ \BBA\
  Laruelle}{1994}]{ixtetextra}
Ghallab, M.\BBACOMMA\  \BBA\ Laruelle, H. \BBOP1994\BBCP.
\newblock \BBOQ Representation and control in {IxTeT}, a temporal planner\BBCQ\
\newblock In {\Bem Proceedings of {AIPS}'94}.

\bibitem[\protect\BCAY{Gupta, Henziner,\ \BBA\ Jagadeesan}{Gupta
  et~al.}{1997}]{henzinger1}
Gupta, V., Henziner, T., \BBA\ Jagadeesan, R. \BBOP1997\BBCP.
\newblock \BBOQ Robust timed automata\BBCQ\
\newblock In {\Bem {HART-97}: Hybrid and Real-time Systems, LNCS 1201}, \BPGS\
  331--345. Springer-Verlag.

\bibitem[\protect\BCAY{Haslum\ \BBA\ Geffner}{Haslum\ \BBA\
  Geffner}{2001}]{haslum}
Haslum, P.\BBACOMMA\  \BBA\ Geffner, H. \BBOP2001\BBCP.
\newblock \BBOQ Heuristic planning with time and resources\BBCQ\
\newblock In {\Bem Proceedings of {ECP'01}, Toledo}.

\bibitem[\protect\BCAY{Hayes\ \BBA\ Allen}{Hayes\ \BBA\
  Allen}{1987}]{hayesandallen}
Hayes, P.\BBACOMMA\  \BBA\ Allen, J. \BBOP1987\BBCP.
\newblock \BBOQ Short time periods\BBCQ\
\newblock In {\Bem Proceedings of {IJCAI-87}}, \BPGS\ 981--983.

\bibitem[\protect\BCAY{Helmert}{Helmert}{2002}]{helmert}
Helmert, M. \BBOP2002\BBCP.
\newblock \BBOQ Decidability and undecidability results for planning with
  numerical state variables\BBCQ\
\newblock In {\Bem Proceedings of {AIPS}-02}.

\bibitem[\protect\BCAY{Henzinger}{Henzinger}{1996}]{henzinger}
Henzinger, T. \BBOP1996\BBCP.
\newblock \BBOQ The theory of hybrid automata\BBCQ\
\newblock In {\Bem Proceedings of the 11th Annual Symposium on Logic in
  Computer Science. Invited tutorial.}, \BPGS\ 278--292. IEEE Computer Society
  Press.

\bibitem[\protect\BCAY{Henzinger\ \BBA\ Raskin}{Henzinger\ \BBA\
  Raskin}{2000}]{henzinger2}
Henzinger, T.\BBACOMMA\  \BBA\ Raskin, J.-F. \BBOP2000\BBCP.
\newblock \BBOQ Robust undecidability of timed and hybrid systems\BBCQ\
\newblock In {\Bem Proceedings of the 3rd International Workshop on Hybrid
  Systems: Computation and Control. LNCS 1790.}, \BPGS\ 145--159.
  Springer-Verlag.

\bibitem[\protect\BCAY{Howey\ \BBA\ Long}{Howey\ \BBA\ Long}{2002}]{howey}
Howey, R.\BBACOMMA\  \BBA\ Long, D. \BBOP2002\BBCP.
\newblock \BBOQ Validating plans with continuous effects\BBCQ\
\newblock \BTR, Dept. Computer Science, University of Durham.

\bibitem[\protect\BCAY{J{\-{o}}nsson, Morris, Muscettola,\ \BBA\
  Rajan}{J{\-{o}}nsson et~al.}{2000}]{rax}
J{\-{o}}nsson, A., Morris, P., Muscettola, N., \BBA\ Rajan, K. \BBOP2000\BBCP.
\newblock \BBOQ Planning in interplanetary space: theory and practice\BBCQ\
\newblock In {\Bem Proceedings of {AIPS}-00}.

\bibitem[\protect\BCAY{Kowalski\ \BBA\ Sergot}{Kowalski\ \BBA\
  Sergot}{1986}]{eventcalc}
Kowalski, R.\BBACOMMA\  \BBA\ Sergot, M. \BBOP1986\BBCP.
\newblock \BBOQ A logic-based calculus of events\BBCQ\
\newblock {\Bem New Generation Computing}, {\Bem 4}, 67--95.

\bibitem[\protect\BCAY{Laborie\ \BBA\ Ghallab}{Laborie\ \BBA\
  Ghallab}{1995}]{ixtet}
Laborie, P.\BBACOMMA\  \BBA\ Ghallab, M. \BBOP1995\BBCP.
\newblock \BBOQ Planning with sharable resource constraints\BBCQ\
\newblock In {\Bem Proceedings of {IJCAI-95}}. Morgan Kaufmann.

\bibitem[\protect\BCAY{Lifschitz}{Lifschitz}{1986}]{lif}
Lifschitz, E. \BBOP1986\BBCP.
\newblock \BBOQ On the semantics of {STRIPS}\BBCQ\
\newblock In {\Bem Proceedings of 1986 Workshop: Reasoning about Actions and
  Plans}.

\bibitem[\protect\BCAY{Long\ \BBA\ Fox}{Long\ \BBA\ Fox}{2003a}]{lpgp}
Long, D.\BBACOMMA\  \BBA\ Fox, M. \BBOP2003a\BBCP.
\newblock \BBOQ Exploiting a graphplan framework in temporal planning\BBCQ\
\newblock In {\Bem Proceedings of {ICAPS}'03}.

\bibitem[\protect\BCAY{Long\ \BBA\ Fox}{Long\ \BBA\ Fox}{2003b}]{resultspaper}
Long, D.\BBACOMMA\  \BBA\ Fox, M. \BBOP2003b\BBCP.
\newblock \BBOQ An overview and analysis of the results of the 3rd
  {I}nternational {P}lanning {C}ompetition\BBCQ\
\newblock {\Bem Journal of Artifical Intelligence {R}esearch}, {\Bem this
  issue}.

\bibitem[\protect\BCAY{McAllester\ \BBA\ Rosenblitt}{McAllester\ \BBA\
  Rosenblitt}{1991}]{snlp}
McAllester, D.\BBACOMMA\  \BBA\ Rosenblitt, D. \BBOP1991\BBCP.
\newblock \BBOQ Systematic nonlinear planning\BBCQ\
\newblock In {\Bem Proceedings of {AAAI}'91}, \lowercase{\BVOL}~2, \BPGS\
  634--639, Anaheim, California, USA. AAAI Press/MIT Press.

\bibitem[\protect\BCAY{McCarthy}{McCarthy}{1980}]{circumscription}
McCarthy, J. \BBOP1980\BBCP.
\newblock \BBOQ Circumscription --- a form of non-monotonic reasoning\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 13}, 27--39.

\bibitem[\protect\BCAY{McCarthy\ \BBA\ Hayes}{McCarthy\ \BBA\
  Hayes}{1969}]{sitcalc}
McCarthy, J.\BBACOMMA\  \BBA\ Hayes, P. \BBOP1969\BBCP.
\newblock \BBOQ Some philosophical problems from the standpoint of artificial
  intelligence\BBCQ\
\newblock In Meltzer, B.\BBACOMMA\  \BBA\ Michie, D.\BEDS, {\Bem Machine
  Intelligence 4}, \BPGS\ 463--502. Edinburgh University Press.

\bibitem[\protect\BCAY{McDermott}{McDermott}{1982}]{mcdermotttime}
McDermott, D. \BBOP1982\BBCP.
\newblock \BBOQ A temporal logic for reasoning about processes and plans\BBCQ\
\newblock {\Bem Cognitive Science}, {\Bem 6}, 101--155.

\bibitem[\protect\BCAY{McDermott}{McDermott}{2000}]{drew}
McDermott, D. \BBOP2000\BBCP.
\newblock \BBOQ The 1998 {AI} planning systems competition\BBCQ\
\newblock {\Bem {AI} Magazine}, {\Bem 21\/}(2).

\bibitem[\protect\BCAY{McDermott}{McDermott}{2003}]{drewICAPS}
McDermott, D. \BBOP2003\BBCP.
\newblock \BBOQ Reasoning about autonomous processes in an estimated-regression
  planner\BBCQ\
\newblock In {\Bem Proceedings of {ICAPS-03}}.

\bibitem[\protect\BCAY{McDermott\ \BBA\ the {AIPS-98} Planning
  Competition~Committee}{McDermott\ \BBA\ the {AIPS-98} Planning
  Competition~Committee}{1998}]{pddl}
McDermott, D.\BBACOMMA\  \BBA\ the {AIPS-98} Planning Competition~Committee
  \BBOP1998\BBCP.
\newblock \BBOQ {PDDL}--the planning domain definition language\BBCQ\
\newblock \BTR, Available at: {\small {\tt www.cs.yale.edu/homes/dvm}}.

\bibitem[\protect\BCAY{Muscettola}{Muscettola}{1994}]{hsts}
Muscettola, N. \BBOP1994\BBCP.
\newblock \BBOQ {HSTS}: Integrating planning and scheduling\BBCQ\
\newblock In Zweben, M.\BBACOMMA\  \BBA\ Fox, M.\BEDS, {\Bem Intelligent
  Scheduling}, \BPGS\ 169--212. Morgan Kaufmann, San Mateo, CA.

\bibitem[\protect\BCAY{Nau, Cao, Lotem,\ \BBA\ Mu{\~{n}}oz-Avila}{Nau
  et~al.}{1999}]{nau}
Nau, D., Cao, Y., Lotem, A., \BBA\ Mu{\~{n}}oz-Avila, H. \BBOP1999\BBCP.
\newblock \BBOQ {SHOP: S}imple hierarchical ordered planner\BBCQ\
\newblock In {\Bem Proceedings of {IJCAI'99}}.

\bibitem[\protect\BCAY{Pednault}{Pednault}{1986}]{pednaultTimberline}
Pednault, E. \BBOP1986\BBCP.
\newblock \BBOQ Formulating multiagent, dynamic-world problems in the classical
  planning framework\BBCQ\
\newblock In Georgeff, M.\BBACOMMA\  \BBA\ Lansky, A.\BEDS, {\Bem Proceedings
  of the Timberline Oregon Workshop on Reasoning about Actions and Plans}.

\bibitem[\protect\BCAY{Pednault}{Pednault}{1989}]{pednault}
Pednault, E. \BBOP1989\BBCP.
\newblock \BBOQ {ADL}: {E}xploring the middle ground between {STRIPS} and the
  situation calculus\BBCQ\
\newblock In {\Bem {P}roceedings of {KR-89}}, \BPGS\ 324--332.

\bibitem[\protect\BCAY{Penberthy\ \BBA\ Weld}{Penberthy\ \BBA\
  Weld}{1994}]{zeno}
Penberthy, J.\BBACOMMA\  \BBA\ Weld, D. \BBOP1994\BBCP.
\newblock \BBOQ Temporal planning with continuous change\BBCQ\
\newblock In {\Bem Proceedings of AAAI-94}. AAAI/MIT Press.

\bibitem[\protect\BCAY{Penberthy\ \BBA\ Weld}{Penberthy\ \BBA\
  Weld}{1992}]{ucpop}
Penberthy, J.\BBACOMMA\  \BBA\ Weld, D. \BBOP1992\BBCP.
\newblock \BBOQ {UCPOP}: a sound, complete, partial-order planner for
  {ADL}\BBCQ\
\newblock In {\Bem Proceedings of {KR'92}}, \BPGS\ 103--114, Los Altos, CA.
  Kaufmann.

\bibitem[\protect\BCAY{Rabideau, Knight, Chien, Fukunaga,\ \BBA\
  Govindjee}{Rabideau et~al.}{1999}]{aspen}
Rabideau, G., Knight, R., Chien, S., Fukunaga, A., \BBA\ Govindjee, A.
  \BBOP1999\BBCP.
\newblock \BBOQ Iterative repair planning for spacecraft operations in the
  {ASPEN} system\BBCQ\
\newblock In {\Bem International Symposium on Artificial Intelligence Robotics
  and Automation in Space ({i-SAIRAS})}.

\bibitem[\protect\BCAY{Reichgelt}{Reichgelt}{1989}]{reichgelt}
Reichgelt, H. \BBOP1989\BBCP.
\newblock \BBOQ A comparison of first order and modal theories of time\BBCQ\
\newblock In Jackson, P., Reichgelt, H., \BBA\ van Harmelen, F.\BEDS, {\Bem
  Logic-based knowledge representation}, \BPGS\ 143--176. {MIT} Press.

\bibitem[\protect\BCAY{Reiter}{Reiter}{1980}]{reiter}
Reiter, R. \BBOP1980\BBCP.
\newblock \BBOQ A logic for default reasoning\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 13}, 81--132.

\bibitem[\protect\BCAY{Russell\ \BBA\ Norvig}{Russell\ \BBA\
  Norvig}{1995}]{russellAndNorvig}
Russell, S.\BBACOMMA\  \BBA\ Norvig, P. \BBOP1995\BBCP.
\newblock {\Bem Artificial Intelligence: a Modern Approach}.
\newblock Prentice Hall.

\bibitem[\protect\BCAY{Sandewall}{Sandewall}{1994}]{sandewall}
Sandewall, E. \BBOP1994\BBCP.
\newblock {\Bem Features and fluents: the representation of knowledge about
  dynamical systems, volume {I}}.
\newblock Oxford University Press.

\bibitem[\protect\BCAY{Shanahan}{Shanahan}{1990}]{shanahan}
Shanahan, M. \BBOP1990\BBCP.
\newblock \BBOQ Representing continuous change in the event calculus\BBCQ\
\newblock In {\Bem Proceedings of {ECAI'90}}, \BPGS\ 598--603.

\bibitem[\protect\BCAY{Shanahan}{Shanahan}{1999}]{shanahantutorial}
Shanahan, M. \BBOP1999\BBCP.
\newblock \BBOQ The event calculus explained\BBCQ\
\newblock In Wooldridge, M.\BBACOMMA\  \BBA\ Veloso, M.\BEDS, {\Bem Artificial
  Intelligence Today}, \BPGS\ 409--430. Springer Lecture Notes in Artificial
  Intelligence no. 1600.

\bibitem[\protect\BCAY{Shoham}{Shoham}{1985}]{shoham}
Shoham, Y. \BBOP1985\BBCP.
\newblock \BBOQ Ten requirements for a theory of change\BBCQ\
\newblock {\Bem New Generation Computing}, {\Bem 3}, 467--477.

\bibitem[\protect\BCAY{Smith\ \BBA\ Weld}{Smith\ \BBA\ Weld}{1999}]{smith}
Smith, D.\BBACOMMA\  \BBA\ Weld, D. \BBOP1999\BBCP.
\newblock \BBOQ Temporal planning with mutual exclusion reasoning\BBCQ\
\newblock In {\Bem Proceedings of {IJCAI}-99, Stockholm}, \BPGS\ 326--337.

\bibitem[\protect\BCAY{Tate}{Tate}{1977}]{nonlin}
Tate, A. \BBOP1977\BBCP.
\newblock \BBOQ Generating project networks\BBCQ\
\newblock In {\Bem Proceedings of {IJCAI}'77}.

\bibitem[\protect\BCAY{van Bentham}{van Bentham}{1983}]{bentham}
van Bentham, J. \BBOP1983\BBCP.
\newblock {\Bem The logic of time}.
\newblock Kluwer Academic Press, Dordrecht.

\bibitem[\protect\BCAY{Vere}{Vere}{1983}]{vere}
Vere, S. \BBOP1983\BBCP.
\newblock \BBOQ Planning in time: Windows and durations for activities and
  goals\BBCQ\
\newblock {\Bem IEEE Transactions on Pattern Analysis and Machine
  Intelligence}, {\Bem 5}.

\bibitem[\protect\BCAY{Vila}{Vila}{1994}]{vila}
Vila, L. \BBOP1994\BBCP.
\newblock \BBOQ A survey on temporal reasoning in artificial intelligence\BBCQ\
\newblock {\Bem {AI} Communications}, {\Bem 7}, 4--28.

\bibitem[\protect\BCAY{Wilkins}{Wilkins}{1988}]{sipe}
Wilkins, D. \BBOP1988\BBCP.
\newblock {\Bem Practical Planning: Extending the Classical {AI} Planning
  Paradigm}.
\newblock Morgan Kaufmann Publishers Inc., San Francisco, CA.

\end{thebibliography}
