Integrating Temporal Annotations in a Modular Logic Language

DI Group Author

doi:10.1007/978-3-642-00675-3_11

Integrating Temporal Annotations in a Modular Logic Language

DI Group Author

DI - Departamento de Informática

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	Unknown
Title of host publication	Lecture Notes in Computer Science
Pages	165-177
DOIs	https://doi.org/10.1007/978-3-642-00675-3_11
Publication status	Published - 1 Jan 2009
Event	Applications of Declarative Programming and Knowledge Management - Duration: 1 Jan 2007 → …

Conference

Conference	Applications of Declarative Programming and Knowledge Management
Period	1/01/07 → …

Access to Document

10.1007/978-3-642-00675-3_11

Cite this

@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 = "{DI Group Author}",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-00675-3_11",

language = "Unknown",

isbn = "978-3-642-00674-6",

pages = "165--177",

booktitle = "Lecture Notes in Computer Science",

note = "null ; Conference date: 01-01-2007",

}

TY - GEN

T1 - Integrating Temporal Annotations in a Modular Logic Language

AU - DI Group Author

PY - 2009/1/1

Y1 - 2009/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-00675-3_11

DO - 10.1007/978-3-642-00675-3_11

M3 - Conference contribution

SN - 978-3-642-00674-6

SP - 165

EP - 177

BT - Lecture Notes in Computer Science

Y2 - 1 January 2007

ER -