loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th International Symposium on Temporal Representation and Reasoning (TIME'07)
Alicante, Spain
June 28-June 30
ISBN: 0-7695-2836-8
ASCII Text
x 
 
Vitor Nogueira, Salvador Abreu, "Modularity and Temporal Reasoning: A Logic Programming Approach," Temporal Representation and Reasoning, International Syposium on, pp. 191, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/TIME.2007.53,
author = {Vitor Nogueira and Salvador Abreu},
title = {Modularity and Temporal Reasoning: A Logic Programming Approach},
journal ={Temporal Representation and Reasoning, International Syposium on},
volume = {0},
year = {2007},
issn = {1530-1311},
pages = {191},
doi = {http://doi.ieeecomputersociety.org/10.1109/TIME.2007.53},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Temporal Representation and Reasoning, International Syposium on
TI - Modularity and Temporal Reasoning: A Logic Programming Approach
SN - 1530-1311
SP
EP
A1 - Vitor Nogueira,
A1 - Salvador Abreu,
PY - 2007
KW - null
VL - 0
JA - Temporal Representation and Reasoning, International Syposium on
ER -
 
Vitor Nogueira, Universidade de Evora and CENTRIA, Portugal
Salvador Abreu, Universidade de Evora and CENTRIA, Portugal
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, we also provide a sketch for a compiler, allowing this way for the development of applications based on such language.
Citation:
Vitor Nogueira, Salvador Abreu, "Modularity and Temporal Reasoning: A Logic Programming Approach," time, pp.191, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.