© STRL 1996-2009
Interval Temporal Algebra
(Automated Theorem Prover for PITL)
Antonio Cau
2008
(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
May 15, 2009
Home
|
Training
|
Research
|
People
|
About
|
News
|
ITL home