ITL
© 1996-2015

Interval Temporal Algebra
(Automated Theorem Prover for PITL)
Antonio Cau



1  Introduction

2  Rationale

3  Propositional Interval Temporal Logic (PITL)

4  Algebraic semantics for PITL

5  Kleene and Omega Algebra

6  Interval Temporal Algebra

7  Automatic theorem prover for PITL

8  Conclusion and future work