Integrating Temporal Annotations in a Modular Logic Language

DI Group Author

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
Publication statusPublished - 1 Jan 2009
EventApplications of Declarative Programming and Knowledge Management -
Duration: 1 Jan 2007 → …


ConferenceApplications of Declarative Programming and Knowledge Management
Period1/01/07 → …

Cite this