Sciweavers

20
Voted
AAAI
2015

Tractable Interval Temporal Propositional and Description Logics

8 years 6 months ago
Tractable Interval Temporal Propositional and Description Logics
We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.
Alessandro Artale, Roman Kontchakov, Vladislav Ryz
Added 12 Apr 2016
Updated 12 Apr 2016
Type Journal
Year 2015
Where AAAI
Authors Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Comments (0)