Tractable Interval Temporal Propositional and Description Logics Page 1 Tractable Interval
Temporal Propositional and Description Logics A. Artale1 and R. Kontchakov2 and V …

We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval
temporal logic depending on the type (box or diamond) of the interval modal operators, the …

The primary characteristic of interval temporal logic is that intervals, rather than points, are
taken as the primitive ontological entities. Given their generally bad computational behavior …

Extracting rules from temporal series is a well-established temporal data mining technique.
The current literature contains a number of different algorithms and experiments that allow …

Interval logics are very expressive temporal formalisms, but reasoning with them is often
undecidable or has high computational complexity. As a result, a vast number of approaches …

Modal logic is a paradigm for several useful and applicable formal systems in computer
science, and, in particular, for temporal logics of various kinds. It generally retains the low …

Modal logic is a paradigm for several useful and applicable formal systems in computer
science. It generally retains the low complexity of classical propositional logic, but notable …

We propose hybridization of sub-propositional fragments of Halpern-Shoham logic as a way
of obtaining expressive and decidable referential interval temporal logics. In the paper, we …

In this paper, we consider the well-known modal logics K, T, K4, and S4, and we study some
of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment …

The primary characteristic of interval temporal logic is that intervals, rather than points, are
taken as the primitive ontological entities. Their computational behaviour is generally bad …