Logical Formalizations of Commonsense Reasoning: A Survey
TimeML: Robust Specification of Event and Temporal Expressions in Text