Publication | Closed Access
The token reification approach to temporal reasoning
27
Citations
15
References
1996
Year
Cognitive ScienceEngineeringToken Reification ApproachReasoning SystemAutomated ReasoningReasoning About ActionFormal MethodsComputer ScienceTemporal LogicSemanticsTemporal Reasoning
| Year | Citations | |
|---|---|---|
Page 1
Page 1