STRL STRL
© STRL 1996-2008

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








December 5, 2008
Home | Training | Research | People | About | News | ITL home