Integrating temporal annotations in a modular logic language

Vitor Nogueira, Salvador Abreu

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

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.

Original languageEnglish
Title of host publicationApplications of Declarative Programming and Knowledge Management
Subtitle of host publicationConference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Revised Selected Papers
EditorsDietmar Seipel, Michael Hanus, Armin Wolf
Place of PublicationBerlin
PublisherSpringer
Pages165-177
Number of pages13
ISBN (Print)3642006744, 9783642006746
DOIs
Publication statusPublished - 2009
Event17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007 - Wurzburg, Germany
Duration: 4 Oct 20076 Oct 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5437 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007
Country/TerritoryGermany
CityWurzburg
Period4/10/076/10/07

Fingerprint

Dive into the research topics of 'Integrating temporal annotations in a modular logic language'. Together they form a unique fingerprint.

Cite this