A language for contextual logic programming
Logic programming languages
ACM Transactions on Database Systems (TODS)
Temporal annotated constraint logic programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Semantics for temporal annotated constraint logic programming
Labelled deduction
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Annotated Constraint Logic Programming Applied to Temporal Reasoning
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Architectures for a temporal workflow management system
Proceedings of the 2004 ACM symposium on Applied computing
Temporal Contextual Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards structured contexts and modules
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Hi-index | 0.00 |
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.