Over the last two decades, there has been an extensive study of logical formalisms on
specifying and verifying real-time systems. Temporal logics have been an important …

Abstract The Halpern–Shoham logic is a modal logic of time intervals. Some effort has been
put in last ten years to classify fragments of this beautiful logic with respect to decidability of …

This paper surveys main and recent studies on temporal logics in a broad sense by
presenting various logic systems, dealing with various time structures, and discussing …

Land cover classification (LCC) refers to the task of classifying each pixel in satellite/aerial
imagery by predicting a label carrying information about its nature. Despite the importance of …

We introduce EHS+, a novel temporal-epistemic logic defined on temporal intervals
characterised by regular expressions. We investigate the complexity of verifying multi-agent …

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 …

Symbolic learning represents the most straightforward approach to interpretable modeling,
but its applications have been hampered by a single structural design choice: the adoption …

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 …

In this paper, we investigate the finite satisfiability and model checking problems for the logic
D of the sub-interval relation under the homogeneity assumption, that constrains a …

The Halpern-Shoham logic is a modal logic of time intervals. Some effort has been put in last
ten years to classify fragments of this beautiful logic with respect to decidability of its …