Towards Temporal Reasoning in Constraint Contextual Logic Programming

Abstract There has been an increased interest in temporal reasoning from areas such as database systems and AI. In this paper we propose a temporal reasoning framework that bridges the paradigms of Constraint Logic Programming (CLP) and Contextual Logic Programming (CxLP). CLP is used to build a rather simple, yet powerful temporal algebra with points, intervals, durations and relations between these elements. To associate the time given by the algebraic system above and events or propositions, we build a framework that makes use of recent developments in CxLP and propose the notion of temporal contexts.