Desarrollo de sistemas de transformación automática y especialización de programas (declarativos) para la mejora de la eficiencia de los mismos, tanto en tiempo de ejecución como en la optimización de recursos.
El objetivo de la transformación de programas consiste en derivar un programa semánticamente equivalente a otro programa inicial pero con mejor comportamiento con respecto a algunas propiedades (e.g., eficiencia). La evaluación parcial es una técnica de transformación de programas que genera versiones especializadas de un programa con respecto a una entrada específica. Nuestro grupo tiene una dilatada experiencia en este campo, habiendo desarrollado un transformador de programas lógico funcionales basado en reglas+estrategias y algoritmos refinados de control de la evaluación parcial. Recientemente, se han transferido muchas de estas técnicas de transformación al ámbito de la programación lógica difusa. En particular, hemos realizado una amplia labor teórica mediante el estudio de diversas reglas de transformación de plegado/desplegado para programas lógicos multiadjuntos (una clase muy amplia de programas lógicos difusos).
Implementación e integración de lenguajes declarativos (lógicos y funcionales) con otros paradigmas, como la lógica difusa.
Centramos nuestro interés en el diseño de lenguajes lógicos difusos que incorporen recursos expresivos para el tratamiento de información imprecisa. Hemos desarrollado un lenguaje basado en unificación por similaridad, que denominamos Bousi~Prolog (Prolog BOrroso con Unificación por SImilaridad). Además, hemos implementado un sistema para la ejecución de programas multiadjuntos que denominamos FLOPER (acrónimo de Fuzzy LOgic Programming Environment for Research). Entre las aplicaciones prácticas de estos lenguajes, Bousi~Prolog se ha utilizado para la catalogación de textos y FLOPER para manipular texto XML, implementando una extensión difusa de los lenguajes XPath y XQuery.
En la actualidad, estamos combinando ambos enfoques en el diseño e implementación del lenguaje de programación de lógica difusa, totalmente integrado, FASILL.
Analysis and validation of software and web resources (Proyecto PID2019-104735RB-C42 financiado por MCIN/ AEI /10.13039/501100011033)
MÉTODOS RIGUROSOS PARA EL INTERNET DEL FUTURO. TIN2016-76843-C4-2-R . (AEI / FEDER, UE)
UNA APROXIMACIÓN DECLARATIVA AL MODELADO, ANÁLISIS Y RESOLUCIÓN DE PROBLEMAS
Autores: Doctorando.- Jose Antonio Riaza Valverde; - Director/es.- Pascual Julián Iranzo, Ginés Damián Moreno Valverde
2022
Universidad de Castilla-La Mancha
7 de Noviembre de 2022
Autores: Doctorando.- Alejandro Luna Tedesqui; - Director/es.- Ginés Damián Moreno Valverde
2016
9 de Febrero de 2016
Autores: Doctorando.- Carlos Vazquez Perez-Iñigo; - Director/es.- Ginés Damián Moreno Valverde
2015
5 de Octubre de 2015
An efficient propositional system for Abductive Logic Programming
Gavanelli , Marco; Pascual Julián Iranzo; Sáenz Pérez, Fernando;
2024
Conversion of the Spanish WordNet databases into a Prolog-readable format
Pascual Julián Iranzo; Rigau , Germán; Sáenz Pérez, Fernando; Velasco Crespo, Pablo;
Tuning fuzzy SPARQL queries
GINES DAMIAN MORENO VALVERDE
Bousi~Prolog: Design and implementation of a proximity-based fuzzy logic programming language
Pascual Julián Iranzo; Sáenz Pérez, Fernando;
2023
Some properties of substitutions in the framework of similarity relations
Pascual Julián Iranzo; Ginés Damián Moreno Valverde; José Antonio Riaza Valverde;
Seeking a safe and efficient similarity-based unfolding rule
Pascual Julián Iranzo
A Fuzzy Declarative Approach to Classify Unlabeled short texts based on Automatically Constructed WordNet Ontologies
AL-SAYADI , SAMI H.; PASCUAL JULIAN IRANZO; FRANCISCO PASCUAL ROMERO CHICHARRO; SAENZ PEREZ, FERNANDO;
Proximity-based Unification: an Efficient Implementation Method
PASCUAL JULIAN IRANZO; SAENZ PEREZ, FERNANDO;
2021
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs
GINES DAMIAN MORENO VALVERDE; JOSE ANTONIO RIAZA VALVERDE;
Flexible Aggregation in FSA-SPARQL
ALMENDROS-JIMENEZ, JESUS; BECERRA-TERON , ANTONIO; GINES DAMIAN MORENO VALVERDE; JOSE ANTONIO RIAZA VALVERDE;
The Fuzzy Logic Programming language FASILL: Design and implementation
PASCUAL JULIAN IRANZO; GINES DAMIAN MORENO VALVERDE; JOSE ANTONIO RIAZA VALVERDE;
2020
A System implementing Fuzzy Hypothetical Datalog
Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs
Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs
JOSE ANTONIO RIAZA VALVERDE; GINES DAMIAN MORENO VALVERDE;
An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
GINES DAMIAN MORENO VALVERDE; JOSE ANTONIO RIAZA VALVERDE
2019
Fuzzy Logic Programming for Tuning Neural Networks
GINES DAMIAN MORENO VALVERDE; JESUS PEREZ; JOSE ANTONIO RIAZA VALVERDE
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
JESUS ALMENDROS-JIMENEZ; ANTONIO BECERRA-TERON; GINES DAMIAN MORENO VALVERDE; JOSE ANTONIO RIAZA VALVERDE
Combining Symbolic Unfolding and Tuning Techniques for Fuzzy Logic Programs
WordNet and Prolog: why not?
PASCUAL JULIAN IRANZO; FERNANDO SAENZ PEREZ
Symbolic Unfolding of Multi-adjoint Logic Programs
GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ; JOSE ANTONIO RIAZA VALVERDE
Integrating WordNet into Bousi~Prolog
Tuning neural networks in a fuzzy logic programming environment
A Fuzzy Datalog Deductive Database System
2018
Fuzzy queries of social networks with FSA-SPARQL
JESUS ALMENDROS-JIMENEZ; ANTONIO BECERRA-TERON; GINES DAMIAN MORENO VALVERDE
An Efficient Proximity-based Unification Algorithm
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
PEDRO JOSE MORCILLO MORENO; GINES DAMIAN MORENO VALVERDE
FASILL: Fuzzy Correct Answers and Soundness
PASCUAL JULIAN IRANZO; GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ
Smart Design of Similarity Relations for Fuzzy Logic Programming Environments
JUAN ANTONIO GUERRERO ABENZA; GINES DAMIAN MORENO VALVERDE; JOSE ANTONIO RIAZA VALVERDE; JAVIER SANCHEZ UTRILLAS
On reductants in the framework of multi-adjoint logic programming.
PASCUAL JULIAN IRANZO
2017
A sound and complete semantics for a similarity-based logic programming language.
PASCUAL JULIAN IRANZO; CLEMENTE RUBIO MANZANO
Thresholded semantic framework for a fully integrated fuzzy logic language
FuzzyDES or how DES Met Bousi-Prolog
An Online Tool for Tuning Fuzzy Logic Programs
On Similarity-Based Unfolding
A fuzzy extension of SPARQL based on fuzzy sets and aggregators
Testing properties of fuzzy connectives and truth degrees with the latticemaker tool
JUAN ANTONIO GUERRERO ABENZA; FELIX MENDIETA CARLOS; GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ; JOSE ANTONIO RIAZA VALVERDE
Tuning Fuzzy Logic Programs with Symbolic Execution
Towards a Fuzzy Logic Environment for Android
RAMON LUJAN CRESPO; GINES DAMIAN MORENO VALVERDE; CARLOS VAZQUEZ PEREZ-IÑIGO
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ; JOSE ANTONIO RIAZA VALVERDE; GERMAN VIDAL ORIOLA
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees
PASCUAL JULIAN IRANZO; GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ; CARLOS VAZQUEZ PEREZ-IÑIGO
GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ; GERMAN VIDAL ORIOLA
Debugging while interpreting fuzzy XPath queries
JESUS ALMENDROS-JIMENEZ; ALEJANDRO LUNA TEDESQUI; GINES DAMIAN MORENO VALVERDE
Trabajos interdisciplinares en equipo: una herramienta de coordinación (interdisciplinary teamwork: a coordination tool)
GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ; RAMON SERRANO URREA
Fuzzy Thresholded Fixpoint Semantics
Proximity-based unification theory
Incorporation of abstraction capability in a logic-based framework by using proximity relations
CLEMENTE RUBIO MANZANO; PASCUAL JULIAN IRANZO
Beyond Multi-adjoint Logic Programming
GINES DAMIAN MORENO VALVERDE; JAIME PENABAD VAZQUEZ; CARLOS VAZQUEZ PEREZ-IÑIGO
Fuzzy XPath through Fuzzy Logic Programming
Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language
PASCUAL JULIAN IRANZO; GINES DAMIAN MORENO VALVERDE; CARLOS VAZQUEZ PEREZ-IÑIGO
A fuzzy logic programming environment for managing similarity and truth degrees
Analyzing fuzzy logic computations with fuzzy xpath
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs?
Improving Multi-adjoint Logic Programs by Unfolding Fuzzy Connective Definitions
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
JESUS ALMENDROS-JIMENEZ; MIQUELL BOFILL; ALEJANDRO LUNA TEDESQUI; GINES DAMIAN MORENO VALVERDE; CARLOS VAZQUEZ PEREZ-IÑIGO; MATEU VILLARET
Simplifying G-Reductants with Fuzzy Unfolding
Thresholded Debugging of XPath Queries
A cloud scheduler assisted by a fuzzy affinity-aware engine
CARLOS VAZQUEZ PEREZ-IÑIGO; GINES DAMIAN MORENO VALVERDE; LUIS TOMAS BOLIVAR; JOHAN TORDSSON
Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments
JUAN ANTONIO GUERRERO ABENZA; MARIA DEL SEÑOR MARTINEZ RUIZ; GINES DAMIAN MORENO VALVERDE; CARLOS VAZQUEZ PEREZ-IÑIGO
Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler
LUIS TOMAS BOLIVAR; JOHAN TORDSSON; CARLOS VAZQUEZ PEREZ-IÑIGO; GINES DAMIAN MORENO VALVERDE
A Fuzzy linguistic prolog and its applications
2014
Fuzzy Logic Rules Modeling Similarity-based Strict Equality
Automatic proving of fuzzy formulae with fuzzy logic programming and SMT
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
Reasoning with words: A first approximation
Fuzzy Logic Programming in Action with FLOPER
GINES DAMIAN MORENO VALVERDE; CARLOS VAZQUEZ PEREZ-IÑIGO
Revisiting Reductants in the Multi-adjoint Logic Programming Framework
PASCUAL JULIAN IRANZO; JESUS MEDINA MORENO; MANUEL OJEDA ACIEGO
Fuzzy XPath Queries in XQuery
Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries
Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming
El grupo DEC-tau investiga métodos formales aplicados a la integración de lenguajes declarativos multiparadigma (esto es, lenguajes con características lógicas, funcionales, y lógico difusas) y a la transformación automática de programas declarativos.