Maintaining knowledge about temporal intervals
A temporal logic for reasoning about processes and plans