Remote Agent: To Boldly Go Where No AI System Has Gone Before
Maintaining knowledge about temporal intervals