Logical foundations and implementation of an extension of temporal logic

Autores
Cobo, María Laura; Augusto, Juan Carlos
Año de publicación
2000
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of tools to handle this kind of imformation. As a reflection of this relevance many temporal logic programming languages have been propose in the last few years. In particular, wel will present here a temporal logic programming called ETP. This language is based on the proposal prsented by Gabbay in (Gab87). The present article concerns the explanation of its logical foundations and the most important aspects of its implementation. We are going to leave out the interpreters implementation code of this new language for space reasons, although, the reader can find it in (Cob98). Initially we will present an abstract of Gabbays work in order to familiarize the reader with the language we are going to extend an we will explain the usefulness of such extension. As regards the extension, we will provide the extended logica in detail and the definition of the language taht take it as its base. We will also present the algorithm which provides answers for teh queries of this language. The algorithum will be accompanied by a demonstration to prove that it computes a total function. Finally some examples will be presented to show potential uses of the language, together with the analysis of the goals reached and teh remaining tasks.
Facultad de Informática
Materia
Ciencias Informáticas
temporal logic; logic programming; temporal logic programming
Temporal logic
Logic Programming
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc/3.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/9391

id SEDICI_bce1db065db5902066da2208c4812df8
oai_identifier_str oai:sedici.unlp.edu.ar:10915/9391
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Logical foundations and implementation of an extension of temporal logicCobo, María LauraAugusto, Juan CarlosCiencias Informáticastemporal logic; logic programming; temporal logic programmingTemporal logicLogic ProgrammingThe need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of tools to handle this kind of imformation. As a reflection of this relevance many temporal logic programming languages have been propose in the last few years. In particular, wel will present here a temporal logic programming called ETP. This language is based on the proposal prsented by Gabbay in (Gab87). The present article concerns the explanation of its logical foundations and the most important aspects of its implementation. We are going to leave out the interpreters implementation code of this new language for space reasons, although, the reader can find it in (Cob98). Initially we will present an abstract of Gabbays work in order to familiarize the reader with the language we are going to extend an we will explain the usefulness of such extension. As regards the extension, we will provide the extended logica in detail and the definition of the language taht take it as its base. We will also present the algorithm which provides answers for teh queries of this language. The algorithum will be accompanied by a demonstration to prove that it computes a total function. Finally some examples will be presented to show potential uses of the language, together with the analysis of the goals reached and teh remaining tasks.Facultad de Informática2000info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/9391enginfo:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/2015/papers_02/logic.pdfinfo:eu-repo/semantics/altIdentifier/issn/1666-6038info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc/3.0/Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:23:30Zoai:sedici.unlp.edu.ar:10915/9391Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:23:30.668SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Logical foundations and implementation of an extension of temporal logic
title Logical foundations and implementation of an extension of temporal logic
spellingShingle Logical foundations and implementation of an extension of temporal logic
Cobo, María Laura
Ciencias Informáticas
temporal logic; logic programming; temporal logic programming
Temporal logic
Logic Programming
title_short Logical foundations and implementation of an extension of temporal logic
title_full Logical foundations and implementation of an extension of temporal logic
title_fullStr Logical foundations and implementation of an extension of temporal logic
title_full_unstemmed Logical foundations and implementation of an extension of temporal logic
title_sort Logical foundations and implementation of an extension of temporal logic
dc.creator.none.fl_str_mv Cobo, María Laura
Augusto, Juan Carlos
author Cobo, María Laura
author_facet Cobo, María Laura
Augusto, Juan Carlos
author_role author
author2 Augusto, Juan Carlos
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
temporal logic; logic programming; temporal logic programming
Temporal logic
Logic Programming
topic Ciencias Informáticas
temporal logic; logic programming; temporal logic programming
Temporal logic
Logic Programming
dc.description.none.fl_txt_mv The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of tools to handle this kind of imformation. As a reflection of this relevance many temporal logic programming languages have been propose in the last few years. In particular, wel will present here a temporal logic programming called ETP. This language is based on the proposal prsented by Gabbay in (Gab87). The present article concerns the explanation of its logical foundations and the most important aspects of its implementation. We are going to leave out the interpreters implementation code of this new language for space reasons, although, the reader can find it in (Cob98). Initially we will present an abstract of Gabbays work in order to familiarize the reader with the language we are going to extend an we will explain the usefulness of such extension. As regards the extension, we will provide the extended logica in detail and the definition of the language taht take it as its base. We will also present the algorithm which provides answers for teh queries of this language. The algorithum will be accompanied by a demonstration to prove that it computes a total function. Finally some examples will be presented to show potential uses of the language, together with the analysis of the goals reached and teh remaining tasks.
Facultad de Informática
description The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of tools to handle this kind of imformation. As a reflection of this relevance many temporal logic programming languages have been propose in the last few years. In particular, wel will present here a temporal logic programming called ETP. This language is based on the proposal prsented by Gabbay in (Gab87). The present article concerns the explanation of its logical foundations and the most important aspects of its implementation. We are going to leave out the interpreters implementation code of this new language for space reasons, although, the reader can find it in (Cob98). Initially we will present an abstract of Gabbays work in order to familiarize the reader with the language we are going to extend an we will explain the usefulness of such extension. As regards the extension, we will provide the extended logica in detail and the definition of the language taht take it as its base. We will also present the algorithm which provides answers for teh queries of this language. The algorithum will be accompanied by a demonstration to prove that it computes a total function. Finally some examples will be presented to show potential uses of the language, together with the analysis of the goals reached and teh remaining tasks.
publishDate 2000
dc.date.none.fl_str_mv 2000
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/9391
url http://sedici.unlp.edu.ar/handle/10915/9391
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/2015/papers_02/logic.pdf
info:eu-repo/semantics/altIdentifier/issn/1666-6038
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc/3.0/
Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc/3.0/
Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260059918172160
score 13.13397