Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

Time, as a phenomenon, has been in the focus of scientific thought from ancient times. It
continues to be an important subject of research in many disciplines due to its importance as …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

Abstract Model checking is a powerful method widely explored in formal verification. Given a
model of a system, eg, a Kripke structure, and a formula specifying its expected behaviour …

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 rise of machine learning and cloud technologies has led to a remarkable influx of data
within modern cyber-physical systems. However, extracting meaningful information from this …

Interval temporal logics take time intervals, instead of time points, as their primitive temporal
entities. One of the most studied interval temporal logics is Halpern and Shoham's modal …

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 …

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 …