Temporal reasoning is an important support reasoner in many application areas including robotics, natural language, causal reasoning, scheduling and planning. This paper presents a framework for domain independent tractable temporal reasoning on large scale problems without giving up expressiveness of constraints. The effectiveness of this approach is demonstrated with a series of empirical evaluations using basic control strategies, showing that simple control strategies are useful and efficient. The framework and strategies provide a reasonable and useful trade-off between relative completeness and increasing computational performance.
control strategies, temporal reasoning, flexible computation