Calendar units, such as months and days, clock units, such as hours and seconds, and
specialized units, such as business days and academic years, play a major role in a wide …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

This paper presents a general framework to define time granularity systems. We identify the
main dimensions along which different systems can be characterized, and investigate the …

Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging
from logical foundations to applications of knowledge‐based systems. In this paper, we …

In this paper, we propose a new logical approach to represent and to reason about different
time granularities. We identify a time granularity as an infinite sequence of time points …

This dissertation is about the design of temporal logics that deal with changing time
granularities. Time granularity can be defined as the resolution power of the temporal …

The usefulness of the addition of a notion of time granularity to representation languages is
widely recognized. As an example, let us consider the problem of providing a logical …

Complex real-time systems must integrate physical processes with digital control, human
operation and organisational structures. New scientific foundations are required for …

Any phenomenon can be seen under a more or less precise granularity, depending on the
kind of details which are perceivable. This can be applied to time and space. A characteristic …

We study the decidability problem for metric and layered temporal logics. The logics we
consider are suitable to model time granularity in various contexts, and they allow one to …