McDermott, D. (2003). Reasoning about autonomous processes in an estimated-regression planner. In **Proceedings of ICAPS-03**.

McDermott, D., & the AIPS-98 Planning Competition Committee (1998).

PDDL–the planning domain definition language. Tech. rep., Available at: www.cs.yale.edu/homes/dvm.

Muscettola, N. (1994). HSTS: Integrating planning and scheduling. In Zweben, M., & Fox, M. (Eds.), Intelligent Scheduling**, pp. 169–212. Morgan Kaufmann, San Mateo, CA.**
Nau, D., Cao, Y., Lotem, A., & Mu˜noz-Avila, H. (1999). SHOP: Simple hierarchical ordered planner. In **Proceedings of IJCAI'99**.

Pednault, E. (1986). Formulating multiagent, dynamic-world problems in the classical planning framework. In Georgeff, M., & Lansky, A. (Eds.), **Proceedings of the Timberline**
Oregon Workshop on Reasoning about Actions and Plans.

Pednault, E. (1989). ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of KR-89**, pp. 324–332.**
Penberthy, J., & Weld, D. (1994). Temporal planning with continuous change. In **Proceedings**
of AAAI-94**. AAAI/MIT Press.**
Penberthy, J., & Weld, D. (1992). UCPOP: a sound, complete, partial-order planner for ADL. In Proceedings of KR'92**, pp. 103–114, Los Altos, CA. Kaufmann.**
Rabideau, G., Knight, R., Chien, S., Fukunaga, A., & Govindjee, A. (1999). Iterative repair planning for spacecraft operations in the ASPEN system. In **International Symposium** on Artificial Intelligence Robotics and Automation in Space (i-SAIRAS).

Reichgelt, H. (1989). A comparison of first order and modal theories of time. In Jackson, P., Reichgelt, H., & van Harmelen, F. (Eds.), **Logic-based knowledge representation**,
pp. 143–176. MIT Press.

Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13**, 81–132.**
Russell, S., & Norvig, P. (1995). Artificial Intelligence: a Modern Approach**. Prentice Hall.** Sandewall, E. (1994). **Features and fluents: the representation of knowledge about dynamical**
systems, volume I**. Oxford University Press.**
Shanahan, M. (1990). Representing continuous change in the event calculus. In **Proceedings**
of ECAI'90**, pp. 598–603.**
Shanahan, M. (1999). The event calculus explained. In Wooldridge, M., & Veloso, M.

(Eds.), Artificial Intelligence Today**, pp. 409–430. Springer Lecture Notes in Artificial** Intelligence no. 1600.

Shoham, Y. (1985). Ten requirements for a theory of change. **New Generation Computing**,
3**, 467–477.**
Smith, D., & Weld, D. (1999). Temporal planning with mutual exclusion reasoning. In Proceedings of IJCAI-99, Stockholm**, pp. 326–337.**
Tate, A. (1977). Generating project networks. In **Proceedings of IJCAI'77**.

van Bentham, J. (1983). The logic of time**. Kluwer Academic Press, Dordrecht.**