{"id":29,"date":"2017-06-19T06:12:03","date_gmt":"2017-06-19T06:12:03","guid":{"rendered":"http:\/\/dectau.uclm.es\/Gines.Moreno\/?page_id=29"},"modified":"2020-04-10T09:57:02","modified_gmt":"2020-04-10T09:57:02","slug":"research","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Gines.Moreno\/index.php\/research\/","title":{"rendered":"Research"},"content":{"rendered":"
\n
\n
ORCID record\u00a0\u00a0\u00a0\u00a0 http:\/\/orcid.org\/0000-0001-5522-3496
\n<\/strong><\/a><\/h5>\n

\"\"<\/a><\/p>\n<\/div>\n

(ver publicaciones)<\/em><\/a><\/p>\n

 <\/p>\n

Mis\u00a0\u00a0principales temas de investigaci\u00f3n est\u00e1n relacionados con la programaci\u00f3n declarativa, especialmente con la integraci\u00f3n de los paradigmas funcional, l\u00f3gico y difuso, as\u00ed como con la transformaci\u00f3n y calibrado autom\u00e1tico de programas declarativos. En el marco de estas l\u00edneas\u00a0 de investigaci\u00f3n, innovaci\u00f3n y desarrollo, hemos\u00a0 dise\u00f1ado el lenguaje FASILL (“Fuzzy Agregators and Similarities Into a Logic Language”<\/em>)<\/a> y su entorno de programaci\u00f3n \u00a0 FLOPER<\/a>\u00a0 orientado a la manipulaci\u00f3n de programas l\u00f3gico difusos, con el que se ha\u00a0implementado las aplicaciones FuzzyXPath<\/a> y FSA-SPARQL<\/a> para la gesti\u00f3n flexible de documentos XML y RDF recuperados de internet.\u00a0Actualmente y\u00a0 en estrecho contacto con nuestro colaborador industrial “Sematic Systems”\u00a0 (de reconocido prestigio a nivel nacional e internacional, y cuya\u00a0 plataforma de desarrollo software ya incorpora entre sus componentes m\u00f3dulos provenientes de FLOPER)\u00a0 estamos\u00a0integrando sobre nuestra herramienta t\u00e9cnicas de calibrado y optimizaci\u00f3n de programas basadas en transformaciones de plegado\/desplegado, como las dise\u00f1adas inicialmente en nuestro entorno\u00a0Synth, un potente sistema de transformaci\u00f3n de programas l\u00f3gico-funcionales escritos en el lenguaje\u00a0Curry.<\/p>\n

Research Lines:<\/h5>\n