STRL STRL
© STRL 1996-2009

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








May 15, 2009
Home | Training | Research | People | About | News | ITL home