A Proof of the Compositions of Time Interval Relations
Logic in Computer Science
2018-04-06 v1
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.
Keywords
Cite
@article{arxiv.1804.01637,
title = {A Proof of the Compositions of Time Interval Relations},
author = {Fadoua Ghourabi and Kazuko Takahashi},
journal= {arXiv preprint arXiv:1804.01637},
year = {2018}
}
Comments
Proofs available for checking: https://www.isa-afp.org/entries/Allen_Calculus.html