Publication | Closed Access

The token reification approach to temporal reasoning

Cognitive ScienceEngineeringToken Reification ApproachReasoning SystemAutomated ReasoningReasoning About ActionFormal MethodsComputer ScienceTemporal LogicSemanticsTemporal Reasoning