Using Contextual Logic Programming for Temporal Reasoning

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

Authors

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

Conference proceedings International

Title: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante

Pages: 479-490

Other information

Authenticus ID: P-008-RA7

Abstract (EN): The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Temporal. Contextual Logic Programming (CxLP) is a powerful and simple mechanism which addresses the general issue of modularity in Logic Programming. In this paper we propose a framework for temporal representation and reasoning that makes use of recent developments of CxLP. The elementary temporal elements of our system are sets of time points, defined in Constraint Logic Programming (CLP). Combining the paradigms of CxLP and CLP, we define time points, intervals (sets containing all time points between the bounds) and operations between these temporal elements.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 12