Fundamentos lógicos e implementación de una extensión a temporal Prolog
La necesidad de contar con un manejo adecuado de situaciones que involucren el tiempo y la noción de cambio, ha sido reconocido como un aspecto importante en muchas áreas de ciencias de la computación. Esto ha hecho evidente la necesidad de herramientas que manejan este tipo de información. Como ref...
Guardado en:
| Autores principales: | Cobo, María Laura, Augusto, Juan Carlos |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24842 |
| Aporte de: |
Ejemplares similares
-
Logical foundations and implementation of an extension of temporal logic
por: Cobo, María Laura, et al.
Publicado: (2000) -
Programación en lógica temporal basada en los operadores Since y Until
por: Cobo, María Laura, et al.
Publicado: (1998) -
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) -
An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2012) -
EMTPL and its relation to first order logic
por: Cobo, María Laura, et al.
Publicado: (2004)