A Proof of the Compositions of Time Interval Relations

Autor:	Ghourabi, Fadoua, Takahashi, Kazuko
Rok vydání:	2018
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	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. Comment: Proofs available for checking: https://www.isa-afp.org/entries/Allen_Calculus.html
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1804.01637 Zobrazit plný text záznamu View this record from Arxiv