Tractable Interval Temporal Propositional and Description Logics Article Swipe

PDF

Related Concepts

Interval temporal logic Temporal logic Linear temporal logic Interval (graph theory) Computation tree logic Computer science Fragment (logic) Horn clause Propositional variable Algorithm Theoretical computer science Mathematics Intermediate logic Description logic Combinatorics Logic programming

Alessandro Artale , Roman Kontchakov , Vladislav Ryzhikov , Michael Zakharyaschev ·

YOU? · · 2015 · Open Access · · DOI: https://doi.org/10.1609/aaai.v29i1.9406 · OA: W2206596198

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.

Tractable Interval Temporal Propositional and Description Logics Article Swipe

Related Topics