plans and resource - bounded practical reasoning .
Constraint propagation algorithms for temporal reasoning