Back to Search
Start Over
A Proof of the Compositions of Time Interval Relations
- Publication Year :
- 2018
-
Abstract
- We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.<br />Comment: Proofs available for checking: https://www.isa-afp.org/entries/Allen_Calculus.html
Details
- Database :
- OAIster
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1106294271
- Document Type :
- Electronic Resource