ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Abstract
Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging from logical foundations to applications of knowledge-based systems. In this paper, we survey a wide range of research in temporal representation and reasoning, without committing ourselves to the point of view of any specific application. The organization of the paper follows the commonly recognized division of the field in two main subfields: reasoning about actions and change, and reasoning about temporal constraints. We give an overview of the basic issues, approaches, and results in these two areas, and outline relevant recent developments. Furthermore, we briefly analyze the major emerging trends in temporal representation and reasoning as well as the relationships with other well-established areas, such as temporal databases and logic programming
