Please use this identifier to cite or link to this item:
|Title: ||Modularity and Temporal Reasoning: a Logic Programming Approach|
|Authors: ||Nogueira, Vitor|
|Issue Date: ||2007|
|Publisher: ||IEEE Computer Society|
|Abstract: ||Albeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP), we find few examples of their integration. In this paper we propose the addition of temporal annotations to a modular extension of LP. Moreover, besides an illustrative example we also provide a sketch for a compiler, allowing this way for the development of applications based such language.|
|Appears in Collections:||INF - Artigos em Livros de Actas/Proceedings|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.