A prototype system for logical reasoning about time and action
Christer Hansson · 1990
This thesis presents the experience and results from the implementation of a prototype system for reasoning about time and action. Sandewall has defined syntax, semantics and preference relations o ...