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.

@incollection{McDermott05-1,
  title = {A Temporal Logic for Reasoning about Processes and Plans},
  author = {Drew McDermott},
  year = {2005},
  researchr = {https://researchr.org/publication/McDermott05-1},
  cites = {0},
  citedby = {0},
  pages = {173-216},
  booktitle = {The Language of Time - A Reader},
  editor = {Inderjeet Mani and James Pustejovsky and Robert J. Gaizauskas},
  publisher = {Oxford University Press},
  isbn = {978-0-19-926854-2},
}