Temporal Annotations for a Contextual Logic Programming Language}

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/1436
Resumo: In this paper we propose the combination of modularity and temporal reasoning using logic programming as common ground. Moreover, we consider that the usage of a given module is influenced by temporal constraints, i.e. modularity and temporal reasoning are strongly connected. Besides illustrative examples, we also present the operational semantics and corresponding compiler for this language.
id RCAP_39d8780e505ef84260c146e35584eb6d
oai_identifier_str oai:dspace.uevora.pt:10174/1436
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 Temporal Annotations for a Contextual Logic Programming Language}temporalannotationslogicmodularityIn this paper we propose the combination of modularity and temporal reasoning using logic programming as common ground. Moreover, we consider that the usage of a given module is influenced by temporal constraints, i.e. modularity and temporal reasoning are strongly connected. Besides illustrative examples, we also present the operational semantics and corresponding compiler for this language.2009-04-07T14:16:59Z2009-04-072007-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article182387 bytesapplication/pdfhttp://hdl.handle.net/10174/1436http://hdl.handle.net/10174/1436englivrevbn@di.uevora.ptspa@di.uevora.ptProgress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence, EPIA 2007Neves, JoséSantos, ManuelMachado, José283Nogueira, 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/1436Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:57:35.845125Repositó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 Temporal Annotations for a Contextual Logic Programming Language}
title Temporal Annotations for a Contextual Logic Programming Language}
spellingShingle Temporal Annotations for a Contextual Logic Programming Language}
Nogueira, Vitor
temporal
annotations
logic
modularity
title_short Temporal Annotations for a Contextual Logic Programming Language}
title_full Temporal Annotations for a Contextual Logic Programming Language}
title_fullStr Temporal Annotations for a Contextual Logic Programming Language}
title_full_unstemmed Temporal Annotations for a Contextual Logic Programming Language}
title_sort Temporal Annotations for a Contextual Logic Programming 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 In this paper we propose the combination of modularity and temporal reasoning using logic programming as common ground. Moreover, we consider that the usage of a given module is influenced by temporal constraints, i.e. modularity and temporal reasoning are strongly connected. Besides illustrative examples, we also present the operational semantics and corresponding compiler for this language.
publishDate 2007
dc.date.none.fl_str_mv 2007-01-01T00:00:00Z
2009-04-07T14:16:59Z
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/1436
http://hdl.handle.net/10174/1436
url http://hdl.handle.net/10174/1436
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv livre
vbn@di.uevora.pt
spa@di.uevora.pt
Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence, EPIA 2007
Neves, José
Santos, Manuel
Machado, José
283
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 182387 bytes
application/pdf
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_ 1799136460304023552

Registros relacionados