It is commonly recognized that temporal representation and reasoning issues occupy a central position in the areas of artificial intelligence, databases, and theoretical computer science. Temporal concerns permeated research in artificial intelligence from the beginning, as witnessed by the seminal work by MacCarthy and Hayes and by Kahn and Gorry on knowledge representation and common sense re...

This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference in a general representation, however, the ranges of problems that can be described is considerably greater than in traditional planning systems. In addition, other modes of plan reasoning, such as plan recognition or ...

We deene Parameterized Real-Time Computation Tree Logic (PRTCTL), which allows quantitative temporal speciications to be parameterized over the natural numbers. Parameterized quantitative speciications are quantitative speciications in which concrete timing information has been abstracted away. Such abstraction allows designers to specify quantitative restrictions on the temporal ordering of ev...

Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temporal extent of facts and their sequencing becomes complex due to this inherent partiality. The generation of hypotheses is adopted here as a natural way to overcome the difficulties in computing answers to temporal qu...

This book is about representing knowledge in all its various forms. Yet, whatever phenomenon we aim to represent, be it natural, computational, or abstract, it is unlikely to be static. The natural world is always decaying or evolving. Thus, computational processes, by their nature, are dynamic, and most abstract notions, if they are to be useful, are likely to incorporate change. Consequently,...

This paper describes the construction of a qualitative spatial reasoning system based on the sensor data of a mobile robot. The spatial knowledge of the robot is formalised in three sets of axioms. First of all, axioms for relations between pairs of spatial regions are presented. Assuming the distance between regions as a primitive function in the language, the main purpose of this initial axio...

A versatile and universally applicable quantitative multi-dimensional reasoning mechanism founded on a unique linear tesseral representation of space is described. The reasoning mechanism is based on a constraint satisfaction mechanism supported by a heuristically guided constraint satisfaction approach The mechanism has been incorporated into a spatio-temporal reasoning system, the SPARTA (SPA...

The area of temporal information extraction has recently focused on temporal relation classification. This task is about classifying the temporal relation (precedence, overlap, etc.) holding between two given entities (events, dates or times) mentioned in a text. This interest has largely been driven by the two recent TempEval competitions. Even though logical constraints on the structure of po...

Temporal databases store large quantities of raw data. Reasoning from such data requires abstraction. Temporal abstraction is a kind of temporal-reasoning that concentrates on abstracting temporal data. A language for temporal abstraction is presented, and common schemas of temporal abstraction are analyzed. The language can serve as the basis for a query language that supports temporal or spat...