OBJECTIVE:: Handling time-related concepts is essential in medicine. During diagnosis it
can make a substantial difference to know the temporal order in which some symptoms …

This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

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 …

Abstract Constraint Logic Programming (CLP) is a merger of two declarative paradigms:
constraint solving and logic programming. Although a relatively new field, CLP has …

A temporal database contains time-varying data. In a real-time database transactions have
deadlines or timing constraints. In this paper we review the substantial research in these two …

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 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 survey, we present an overview on (Modal) Temporal Logic Programming in view of
its application to Knowledge Representation and Declarative Problem Solving. The syntax of …

We propose a novel framework for ontology-based access to temporal log data using a
datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We …