Using Contextual Logic Programming for Temporal Reasoning

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2003

Autores

Vitor Beires Nogueira (Autor) Outra; Salvador Abreu (Autor) Outra; Gabriel David (Autor) FEUP

Ata de Conferência Internacional

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

Páginas: 479-490

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 12