James F. Allen, Henry A. Kautz, Richard N. Pelavin, and Josh D. Tenenberg, Reasoning about plans, Morgan Kaufmann, San Mateo, CA, 1991.
This collective monograph describes several versions of interval temporal logic (i.e., a logic in which knowledge about time is represented by using time intervals as a basic notion) and their use in actions planning.
Maria Beltran