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 …

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 …

We present an authorization logic that permits reasoning with explicit time. Following a proof-
theoretic approach, we study the meta-theory of the logic, including cut elimination. We also …

In most computer systems, users' access to resources is controlled using authorization
policies. Logic is an appropriate medium for representing, understanding, and enforcing …

Annotated constraint logic programming (ACLP) combines constraint logic programming
(CLP) and generalized annotated programming (GAP). With ACL we propose a first order …

Despite the ubiquity of time and temporal references in legal texts, their formalization has
often been either disregarded or addressed in an ad hoc manner. In this paper we address …

We present a system which provides geographical information systems (GISs) with
enhanced capabilities for supporting spatio-temporal reasoning. On top of a commercial GIS …

The change in meaning of data over time poses significant challenges for the use of that
data. These challenges exist in the use of an individual data source and are further …

Abstract We extend Temporal Annotated Constraint Logic Programming (TACLP) in order to
obtain a framework where both temporal and spatial information can be dealt with and …