Sobre mi

Twitter

Doctorado en tecnologías informáticas avanzadas por la Universidad de Castilla-La Mancha en 2022. Miembro del grupo de investigación «Declarative Programming and Automatic Program Transformation» en el Instituto de Investigación en Informática de Albacete. Mi investigación se enfoca en el ámbito de la programación declarativa, en particular en el campo de la programación lógica y de la transformación automática de programas.

Proyectos

GitHub

  • Tau Prolog: Un intérprete de Prolog para la Web. Tau Prolog es un intérprete de Prolog implementado completamente en JavaScript que cumple con el estándar ISO Prolog. Tau Prolog ha sido desarrollado para ser utilizado tanto en páginas web como en Node.js y, por lo tanto, sigue una estrategia no-bloqueante basada en callbacks para evitar bloquear los navegadores. Web GitHub
  • FASILL: Fuzzy Aggregators and Similarity Into a Logic Language. FASILL es un lenguaje de programación lógico difuso que extiende las capacidades de Prolog al incorporar grados de verdad y conectivas difusas defindas sobre un retículo completo. Además, FASILL extiende el concepto de unificación mediante relaciones de similitud permitiendo que términos sintácticamente distintos unifiquen débilmente. Web GitHub

Investigación

ORCID Google Scholar dblp

Esta es una lista no exhaustiva de algunas de las publicaciones en las que he trabajado en los últimos años. (Autores en orden alfabético).

  • Pascual Julián Iranzo, Ginés Moreno, José A. Riaza. Seeking a Safe and Efficient Similarity-based Unfolding Rule. International Journal of Approximate Reasoning. 109038 (2023). DOI
  • José A. Riaza. Tau Prolog: A Prolog Interpreter for the Web. Theory and Practice of Logic Programming. 24(1): 1-21 (2023). DOI
  • Pascual Julián Iranzo, Ginés Moreno, José A. Riaza. Some properties of substitutions in the framework of similarity relations. Fuzzy Sets and Systems. 465: 108510 (2023). DOI
  • Pascual Julián Iranzo, Ginés Moreno, José A. Riaza. The Fuzzy Logic Programming language FASILL: Design and implementation. International Journal of Approximate Reasoning. 125: 139-168 (2020). DOI
  • Ginés Moreno, José A. Riaza. Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs. In: IEEE International Conference on Fuzzy Systems. FUZZ-IEEE 2020. 1-8. IEEE. DOI
  • Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal. Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. In: Logic-Based Program Synthesis and Transformation. LOPSTR 2016. Lecture Notes in Computer Science, vol 10184. Springer, Cham. DOI
  • Ginés Moreno, Jaime Penabad, José A. Riaza. On Similarity-Based Unfolding. In: Scalable Uncertainty Management. SUM 2017. Lecture Notes in Computer Science, vol 10564. Springer, Cham. DOI

Tesis

  • José A. Riaza. Técnicas de calibrado y desplegado de programas lógicos difusos integrados. Doctoral thesis. Supervised by Ginés Moreno and Pascual Julián-Iranzo. University of Castilla-La Mancha (2022). Memoria Presentación
  • José A. Riaza. Calibrado de programas lógicos difusos mediante satisfacibilidad módulo teorıas. Master's thesis. Supervised by Ginés Moreno. University of Castilla-La Mancha (2019). Memoria Presentación
  • José A. Riaza. Implementación de técnicas de desplegado difuso sobre el entorno FLOPER. Bachelor's thesis. Supervised by Ginés Moreno and Jaime Penabad. University of Castilla-La Mancha (2017). Memoria Presentación