A Temporal Logic for Reasoning about Processes and Plans

Drew McDermott. A Temporal Logic for Reasoning about Processes and Plans. In Inderjeet Mani, James Pustejovsky, Robert J. Gaizauskas, editors, The Language of Time - A Reader. pages 173-216, Oxford University Press, 2005.

Abstract

Abstract is missing.