Towards Temporal Reasoning in Constraint Contextual Logic Programming

• Type: Article in International Conference Proceedings Book
• Date: 2004

Authors

Vitor Beires Nogueira (Author) Other; Salvador Abreu (Author) Other; Gabriel David (Author) FEUP

Conference proceedings International

Title: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004

Pages: 1-13

Other information

Authenticus ID: P-00S-Q8N

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 13