An Interval-Based Representation of Temporal Knowledge
A temporal logic for reasoning about processes and plans