Por favor, use este identificador para citar o enlazar este ítem: https://doi.org/10.12732/ijam.v32i4.10

Registro completo de metadatos
Campo DCValorLengua/Idioma
dc.contributor.authorCárdenas Viedma, María Antonia-
dc.contributor.authorGalindo Navarro, F. M.-
dc.contributor.otherFacultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicacioneses
dc.date.accessioned2024-05-22T08:12:49Z-
dc.date.available2024-05-22T08:12:49Z-
dc.date.issued2019-
dc.identifier.citationInternational Journal of Applied Mathematics, Vol. 32, N. 4, 2019, pp. 677-722es
dc.identifier.issnPrint: 1311-1728-
dc.identifier.issnElectronic: 1314-8060-
dc.identifier.urihttp://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.10es
dc.description.abstractIn 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.formatapplication/pdfes
dc.format.extent44es
dc.languageenges
dc.publisherAcademic Publicationses
dc.relationThis 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.rightsinfo:eu-repo/semantics/openAccesses
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectTemporal logices
dc.subjectLogic programminges
dc.subjectConstrainst logic programminges
dc.subjectPROLOGes
dc.subjectFuzzy constraint satisfactiones
dc.subjectTermporal reasoninges
dc.subjectFuzzy inference systemses
dc.subjectApproximate reasoninges
dc.subjectKnowledge representationes
dc.subjectFuzzy relationses
dc.subjectNon classical logicses
dc.titlePROLogic: a fuzzy temporal constraint prologes
dc.typeinfo:eu-repo/semantics/articlees
dc.relation.publisherversionhttps://diogenes.bg/ijam/contents/2019-32-4/10/index.html#es
dc.identifier.doihttps://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ñoFormato 
IJAM_2019.pdf412,5 kBAdobe PDFVista previa
Visualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons