Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10201/141738
Twittear
| Título: | FTCProlog: Fuzzy Temporal Constraint Prolog |
| Fecha de defensa / creación: | 2024 |
| Palabras clave: | Temporal reasoning Approximate reasoning Logic programming Possibilistic logic Possibility and necessity degree Temporal Prolog Fuzzy temporal constraint |
| Resumen: | FTCProlog is a language similar to Prolog but with the ability to handle fuzzy temporal constraints between variables. It is based on the first-order logic FTCLogic. FTCProlog is implemented in Haskell and corresponds to the second version of the application PROLogic. It is available at https://github.com/mariantocv/FTCProlog. |
| Autor/es principal/es: | Cardenas Viedma, María Antonia. |
| Facultad/Departamentos/Servicios: | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones |
| URI: | http://hdl.handle.net/10201/141738 |
| Tipo de documento: | info:eu-repo/semantics/other |
| Número páginas / Extensión: | 1 |
| Derechos: | info:eu-repo/semantics/openAccess Atribución-NoComercial-CompartirIgual 4.0 Internacional |
| Aparece en las colecciones: | Software |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| FTCProlog.zip | 4,04 MB | Unknown | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
