A Proof of the Compositions of Time Interval Relations
Fadoua Ghourabi, Kazuko Takahashi
TL;DR
This paper proves all 169 compositions of time interval relations using a first-order, axiomatic approach, providing a general proof template to simplify future proofs with Isar.
Contribution
It offers a comprehensive proof of time interval relation compositions and introduces a general proof template to reduce manual effort.
Findings
Proved all 169 compositions of time interval relations.
Developed a general proof template for similar proofs.
Enhanced proof efficiency with Isar.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Logic, Reasoning, and Knowledge · Logic, programming, and type systems