Ghallab, M., & Laruelle, H. (1994). Representation and control in IxTeT, a temporal planner. In **Proceedings of AIPS'94**.

Gupta, V., Henziner, T., & Jagadeesan, R. (1997). Robust timed automata. In **HART-97:**
Hybrid and Real-time Systems, LNCS 1201**, pp. 331–345. Springer-Verlag.**
Haslum, P., & Geffner, H. (2001). Heuristic planning with time and resources. In **Proceedings**
of ECP'01, Toledo.

Hayes, P., & Allen, J. (1987). Short time periods. In Proceedings of IJCAI-87**, pp. 981–983.**
Helmert, M. (2002). Decidability and undecidability results for planning **with numerical**
state variables. In **Proceedings of AIPS-02**.

Henzinger, T. (1996). The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science. Invited tutorial.**, pp. 278–292. IEEE**
Computer Society Press.

Henzinger, T., & Raskin, J.-F. (2000). Robust undecidability of timed and hybrid systems.

In **Proceedings of the 3rd International Workshop on Hybrid Systems: Computation** and Control. LNCS 1790.**, pp. 145–159. Springer-Verlag.**
Howey, R., & Long, D. (2002). Validating plans with continuous effects. Tech. rep., **Dept.**
Computer Science, University of Durham.

Jonsson, A., Morris, P., Muscettola, N., & Rajan, K. (2000). Planning in interplanetary space: theory and practice. In **Proceedings of AIPS-00**.

Kowalski, R., & Sergot, M. (1986). A logic-based calculus of events. **New Generation**
Computing, 4**, 67–95.**
Laborie, P., & Ghallab, M. (1995). Planning with sharable resource constraints. In Proceedings of IJCAI-95**. Morgan Kaufmann.**
Lifschitz, E. (1986). On the semantics of STRIPS. In **Proceedings of 1986 Workshop:**
Reasoning about Actions and Plans.

Long, D., & Fox, M. (2003a). Exploiting a graphplan framework in temporal planning. In Proceedings of ICAPS'03.

Long, D., & Fox, M. (2003b). An overview and analysis of the results of the 3rd International Planning Competition. Journal of Artifical Intelligence Research, **this issue**.

McAllester, D., & Rosenblitt, D. (1991). Systematic nonlinear planning. In **Proceedings of**
AAAI'91**, Vol. 2, pp. 634–639, Anaheim, California, USA. AAAI Press/MIT Press.**
McCarthy, J. (1980). Circumscription - a form of non-monotonic reasoning. **Artificial**
Intelligence, 13**, 27–39.**
McCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., & Michie, D. (Eds.), Machine Intelligence 4**, pp.** 463–502. Edinburgh University Press.

McDermott, D. (1982). A temporal logic for reasoning about processes and plans. **Cognitive**
Science, 6**, 101–155.**
McDermott, D. (2000). The 1998 AI planning systems competition. AI Magazine, 21 **(2).**