In this paper we propose a data model for representing moving objects with uncertain
positions in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data …

This paper presents an overview of the development of the field of temporal and modal logic
programming. We review temporal and modal logic programming languages under three …

We propose a data model for representing moving objects in database systems. It is called
the Moving Objects Spatio-Temporal (MOST) data model. We also propose Future Temporal …

Consider a database that represents information about moving objects and their location.
For example, for a database representing the location of taxi-cabs a typical query may be …

In this paper, we consider databases representing information about moving objects (eg,
vehicles), particularly their location. We address the problems of updating and querying …

In this work we survey the research on foundations of data-aware (business) processes that
has been carried out in the database theory community. We show that this community has …

We present an efficient implementation method for temporal integrity constraints formulated
in Past Temporal Logic. Although the constraints can refer to past states of the database …

We define formal notions of temporal domain and temporal database, and use them to
survey a wide spectrum of temporal query languages. We distinguish between an abstract …

This paper summarizes the major concepts, approaches, and implementation strategies that
have been generated over the last fifteen years of research into data base management …

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 …