In contrast to qualitative linear temporal logics, which can be used to state that some
property will eventually be satisfied, metric temporal logics allow us to formulate constraints …

Formalisms based on temporal logics interpreted over finite strict linear orders, known in the
literature as finite traces, have been used for temporal specification in automated planning …

The subject matter of this thesis is twofold. On the one hand, this work investigates first-order
temporal logic on finite temporal, called finite traces, focussing on the comparison with the …

The first-order temporal language that we consider in this paper, TU QL [10], is obtained by
extending the classical first-order language with the until temporal operator U. This …

We propose an approach for abstracting temporal ABoxes over temporal DL-Lite knowledge
bases (KBs)[2, 3, 1, 4, 12] to improve the reasoning performance when dealing with large …

The study of formalisms based on propositional or first-order temporal logics on linear flows
of time has found a wide spectrum of applications, ranging from verification of programs and …

The subject matter of this thesis is twofold. On the one hand, this work investigates first-order
temporal logic on finite temporal structures, called finite traces, focussing on the comparison …