Towards Temporal Reasoning in Constraint Contextual Logic Programming

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

Autores

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

Ata de Conferência Internacional

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

Páginas: 1-13

Outras Informações

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

Idioma: Inglês

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

Nº de páginas: 13