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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/9391
Ver los metadatos del registro completo
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 |