Please use this identifier to cite or link to this item:
|Title: ||Temporal Annotations for a Contextual Logic Programming Language}|
|Authors: ||Nogueira, Vitor|
|Issue Date: ||2007|
|Abstract: ||In this paper we propose the combination of modularity and temporal reasoning using logic programming as common ground. Moreover, we consider that the usage of a given module is influenced by temporal constraints, i.e. modularity and temporal reasoning are strongly connected. Besides illustrative examples, we also present the operational semantics and corresponding compiler for this 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.