Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10201/141738
![](/digitum/image/email_logo.png)
![](/digitum/image/logo-facebook.png)
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Cardenas Viedma, María Antonia. | - |
dc.contributor.other | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones | es |
dc.date.accessioned | 2024-05-22T08:19:12Z | - |
dc.date.available | 2024-05-22T08:19:12Z | - |
dc.date.created | 2024 | - |
dc.identifier.uri | http://hdl.handle.net/10201/141738 | - |
dc.description.abstract | 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. | es |
dc.format | application/zip | es |
dc.format.extent | 1 | es |
dc.language | eng | es |
dc.relation | Sin financiación externa a la Universidad | es |
dc.rights | info:eu-repo/semantics/openAccess | es |
dc.rights | Atribución-NoComercial-CompartirIgual 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | * |
dc.subject | Temporal reasoning | es |
dc.subject | Approximate reasoning | es |
dc.subject | Logic programming | es |
dc.subject | Possibilistic logic | es |
dc.subject | Possibility and necessity degree | es |
dc.subject | Temporal Prolog | es |
dc.subject | Fuzzy temporal constraint | es |
dc.title | FTCProlog: Fuzzy Temporal Constraint Prolog | es |
dc.type | info:eu-repo/semantics/other | es |
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