© 1996-2019

| 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
| | ||

| ||||

| |