Modularity and Temporal Reasoning: a Logic Programming Approach

Detalhes bibliográficos
Autor(a) principal: Nogueira, Vitor
Data de Publicação: 2007
Outros Autores: Abreu, Salvador
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10174/1448
Resumo: Albeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP), we find few examples of their integration. In this paper we propose the addition of temporal annotations to a modular extension of LP. Moreover, besides an illustrative example we also provide a sketch for a compiler, allowing this way for the development of applications based such language.
id RCAP_9dff6f5a36ac0f313f2414b88afb3a8c
oai_identifier_str oai:dspace.uevora.pt:10174/1448
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Modularity and Temporal Reasoning: a Logic Programming ApproachtemporalmodularityAlbeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP), we find few examples of their integration. In this paper we propose the addition of temporal annotations to a modular extension of LP. Moreover, besides an illustrative example we also provide a sketch for a compiler, allowing this way for the development of applications based such language.IEEE Computer Society2009-04-07T14:52:12Z2009-04-072007-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article60975 bytesapplication/pdfhttp://hdl.handle.net/10174/1448http://hdl.handle.net/10174/1448eng978-0-7695-2836-6livrevbn@di.uevora.ptspa@di.uevora.ptTemporal Representation and Reasoning, 14th International Symposium on283Nogueira, VitorAbreu, Salvadorinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-01-03T18:37:37Zoai:dspace.uevora.pt:10174/1448Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:57:35.753142Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Modularity and Temporal Reasoning: a Logic Programming Approach
title Modularity and Temporal Reasoning: a Logic Programming Approach
spellingShingle Modularity and Temporal Reasoning: a Logic Programming Approach
Nogueira, Vitor
temporal
modularity
title_short Modularity and Temporal Reasoning: a Logic Programming Approach
title_full Modularity and Temporal Reasoning: a Logic Programming Approach
title_fullStr Modularity and Temporal Reasoning: a Logic Programming Approach
title_full_unstemmed Modularity and Temporal Reasoning: a Logic Programming Approach
title_sort Modularity and Temporal Reasoning: a Logic Programming Approach
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
modularity
topic temporal
modularity
description Albeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP), we find few examples of their integration. In this paper we propose the addition of temporal annotations to a modular extension of LP. Moreover, besides an illustrative example we also provide a sketch for a compiler, allowing this way for the development of applications based such language.
publishDate 2007
dc.date.none.fl_str_mv 2007-01-01T00:00:00Z
2009-04-07T14:52:12Z
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/1448
http://hdl.handle.net/10174/1448
url http://hdl.handle.net/10174/1448
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 978-0-7695-2836-6
livre
vbn@di.uevora.pt
spa@di.uevora.pt
Temporal Representation and Reasoning, 14th International Symposium on
283
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 60975 bytes
application/pdf
dc.publisher.none.fl_str_mv IEEE Computer Society
publisher.none.fl_str_mv IEEE Computer Society
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799136460301926400

Registros relacionados