Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
En este artículo, presentamos una implementación modular de un demostrador semi-automático de teoremas para la lógica temporal lineal de primer orden, realizada en el ambiente Maude. Maude es un ambiente de programación y especificación, basado en la lógica de reescritura, propuesta por J. Meseguer....
Guardado en:
| Autores principales: | Mac Donnell, Patricio, Aguirre, Nazareno Matías |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2005
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23074 |
| Aporte de: |
Ejemplares similares
-
Logical foundations and implementation of an extension of temporal logic
por: Cobo, María Laura, et al.
Publicado: (2000) -
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) -
An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2012) -
Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al.