Logical Formalizations of Commonsense Reasoning: A Survey
A temporal logic for reasoning about processes and plans