A Fast Algorithm and Datalog Inexpressibility for Temporal Reasoning

Manuel Bodirsky, Jan Kara

We introduce a new tractable temporal constraint language, which strictly contains the Ord-Horn language of Buerkert and Nebel and the class of AND/OR precedence constraints. The a…