Export Ready — 

Integrating Temporal Annotations in a Modular Logic Language

Bibliographic Details
Main Author: Nogueira, Vitor
Publication Date: 2007
Other Authors: Abreu, Salvador
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10174/1466
Summary: 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.
id RCAP_f132b7ada57a04509d73b00d6920c15d
oai_identifier_str oai:dspace.uevora.pt:10174/1466
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Integrating Temporal Annotations in a Modular Logic LanguagetemporalannotationslogicmodularityAlbeit 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.2009-04-07T16:22:53Z2009-04-072007-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article187472 bytesapplication/pdfhttp://hdl.handle.net/10174/1466http://hdl.handle.net/10174/1466englivrevbn@di.uevora.ptspa@di.uevora.pt17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007)Seipel, DietmarHanus, MichaelWolf, Armin283Nogueira, VitorAbreu, Salvadorinfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-01-03T18:37:37Zoai:dspace.uevora.pt:10174/1466Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T11:50:38.991237Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Integrating Temporal Annotations in a Modular Logic Language
title Integrating Temporal Annotations in a Modular Logic Language
spellingShingle Integrating Temporal Annotations in a Modular Logic Language
Nogueira, Vitor
temporal
annotations
logic
modularity
title_short Integrating Temporal Annotations in a Modular Logic Language
title_full Integrating Temporal Annotations in a Modular Logic Language
title_fullStr Integrating Temporal Annotations in a Modular Logic Language
title_full_unstemmed Integrating Temporal Annotations in a Modular Logic Language
title_sort Integrating Temporal Annotations in a Modular Logic Language
author Nogueira, Vitor
author_facet Nogueira, Vitor
Abreu, Salvador
author_role author
author2 Abreu, Salvador
author2_role author
dc.contributor.author.fl_str_mv Nogueira, Vitor
Abreu, Salvador
dc.subject.por.fl_str_mv temporal
annotations
logic
modularity
topic temporal
annotations
logic
modularity
description 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.
publishDate 2007
dc.date.none.fl_str_mv 2007-01-01T00:00:00Z
2009-04-07T16:22:53Z
2009-04-07
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10174/1466
http://hdl.handle.net/10174/1466
url http://hdl.handle.net/10174/1466
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv livre
vbn@di.uevora.pt
spa@di.uevora.pt
17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007)
Seipel, Dietmar
Hanus, Michael
Wolf, Armin
283
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 187472 bytes
application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833592280391352320

Similar Items