The increasing relevance of areas such as real-time and embedded systems, pervasive
computing, hybrid systems control, and biological and social systems modeling is bringing a …

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 …

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 …

We define TRIO+, an object-oriented logical language for modular system specification.
TRIO+ is based on TRIO, a first-order temporal language that is well suited to the …

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 …

The representation of complex objects and behaviors (state transitions) in information
systems is a central issue in software engineering. In an information system, supported by a …

Formal methods have proved to be highly beneficial in the requirements specification phase
of software production and are particularly valuable in the development of real-time …

Computers are increasingly being applied in time and safety critical areas of our everyday
life. Analysis of those computer systems, and prediction of their timing properties--and …

Il mondo piattoe un mondo in cui il tempo scorre scandito da un unico orologio, in un'unica
direzione, orizzontale. Un po'noioso, direte voi. Gli abitanti di questo mondo possono …