ITL
© 1996-2018


Interval Temporal Algebra
Automated Theorem Prover for PITL
Antonio Cau

(Pdf version of slides)

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








2018-02-26
Contact | Home | ITL home | Course | Proofs | Algebra | FL