Logical foundations and implementation of an extension of temporal logic

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cobo, María Laura, Augusto, Juan Carlos
Formato: Articulo
Lenguaje:Inglés
Publicado: 2000
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9391
http://journal.info.unlp.edu.ar/wp-content/uploads/2015/papers_02/logic.pdf
Aporte de:
id I19-R120-10915-9391
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
temporal logic; logic programming; temporal logic programming
Temporal logic
Logic Programming
spellingShingle Ciencias Informáticas
temporal logic; logic programming; temporal logic programming
Temporal logic
Logic Programming
Cobo, María Laura
Augusto, Juan Carlos
Logical foundations and implementation of an extension of temporal logic
topic_facet Ciencias Informáticas
temporal logic; logic programming; temporal logic programming
Temporal logic
Logic Programming
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.
format Articulo
Articulo
author Cobo, María Laura
Augusto, Juan Carlos
author_facet Cobo, María Laura
Augusto, Juan Carlos
author_sort Cobo, María Laura
title Logical foundations and implementation of an extension of temporal logic
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
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/9391
http://journal.info.unlp.edu.ar/wp-content/uploads/2015/papers_02/logic.pdf
work_keys_str_mv AT cobomarialaura logicalfoundationsandimplementationofanextensionoftemporallogic
AT augustojuancarlos logicalfoundationsandimplementationofanextensionoftemporallogic
bdutipo_str Repositorios
_version_ 1764820491940397057