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...
Guardado en:
| 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: |
Ejemplares similares
-
Fundamentos lógicos e implementación de una extensión a temporal Prolog
por: Cobo, María Laura, et al.
Publicado: (1998) -
Programación en lógica temporal basada en los operadores Since y Until
por: Cobo, María Laura, et al.
Publicado: (1998) -
EMTPL and its relation to first order logic
por: Cobo, María Laura, et al.
Publicado: (2004) -
An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2012) -
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
por: Mac Donnell, Patricio, et al.
Publicado: (2005)