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.