Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.12732/ijam.v32i4.10
![](/digitum/image/email_logo.png)
![](/digitum/image/logo-facebook.png)
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Cárdenas Viedma, María Antonia | - |
dc.contributor.author | Galindo Navarro, F. M. | - |
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:12:49Z | - |
dc.date.available | 2024-05-22T08:12:49Z | - |
dc.date.issued | 2019 | - |
dc.identifier.citation | International Journal of Applied Mathematics, Vol. 32, N. 4, 2019, pp. 677-722 | es |
dc.identifier.issn | Print: 1311-1728 | - |
dc.identifier.issn | Electronic: 1314-8060 | - |
dc.identifier.uri | http://hdl.handle.net/10201/141735 | - |
dc.description | © 2019 Academic Publications. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ This document is the Published version of a Published Work that appeared in final form in International Journal of Applied Mathematics. To access the final edited and published work see https://doi.org/10.12732/ijam.v32i4.10 | es |
dc.description.abstract | In this paper we present PROLogic, a logic programming language based on a formal first-order fuzzy temporal logic: FTCLogic. FTCLogic integrates the advantages of a formal system (a first-order logic based on Possibilistic Logic) and an efficient mechanism with which to reason about time: the Fuzzy Temporal Constraints Networks or FTCN. PROLogic, therefore, is a Fuzzy Temporal PROLOG, which is implemented in Haskell. | es |
dc.format | application/pdf | es |
dc.format.extent | 44 | es |
dc.language | eng | es |
dc.publisher | Academic Publications | es |
dc.relation | This work was partially funded by the Spanish Ministry of Science, Innovation and Universities under the SITSUS project (Ref: RTI2018-094832-B-I00), and by the European Fund for Regional Development (EFRD, FEDER). | es |
dc.rights | info:eu-repo/semantics/openAccess | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Temporal logic | es |
dc.subject | Logic programming | es |
dc.subject | Constrainst logic programming | es |
dc.subject | PROLOG | es |
dc.subject | Fuzzy constraint satisfaction | es |
dc.subject | Termporal reasoning | es |
dc.subject | Fuzzy inference systems | es |
dc.subject | Approximate reasoning | es |
dc.subject | Knowledge representation | es |
dc.subject | Fuzzy relations | es |
dc.subject | Non classical logics | es |
dc.title | PROLogic: a fuzzy temporal constraint prolog | es |
dc.type | info:eu-repo/semantics/article | es |
dc.relation.publisherversion | https://diogenes.bg/ijam/contents/2019-32-4/10/index.html# | es |
dc.identifier.doi | https://doi.org/10.12732/ijam.v32i4.10 | - |
Aparece en las colecciones: | Artículos: Ingeniería de la Información y las Comunicaciones |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
IJAM_2019.pdf | 412,5 kB | Adobe PDF | ![]() Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons