@inproceedings{1bf2cf39e4c144f297e308677a329c03,
title = "Integrating temporal annotations in a modular logic language",
abstract = "Albeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP) we find few examples of their integration. Moreover, in those examples, time and modularity are considered orthogonal to each other. In this paper we propose the addition of temporal annotations to a modular extension of LP such that the usage of a module is influenced by temporal conditions. Besides illustrative examples we also provide an operational semantics together with a compiler, allowing this way for the development of applications based on such language.",
author = "Vitor Nogueira and Salvador Abreu",
year = "2009",
doi = "10.1007/978-3-642-00675-3_11",
language = "English",
isbn = "3642006744",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "165--177",
editor = "Dietmar Seipel and Hanus, {Michael } and Armin Wolf",
booktitle = "Applications of Declarative Programming and Knowledge Management",
address = "Netherlands",
note = "17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007 ; Conference date: 04-10-2007 Through 06-10-2007",
}