Sobre mi

Twitter

Obtuve mi doctorado en tecnologías informáticas avanzadas por la Universidad de Castilla-La Mancha (UCLM) en 2022. Soy miembro del grupo de investigación «Declarative Programming and Automatic Program Transformation» (DEC-TAU) en el Instituto de Investigación en Informática de Albacete (I3A). 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. 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. IEEE International Conference on Fuzzy Systems 2020: 1-8. DOI
  • Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal. Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. Logic-Based Program Synthesis and Transformation 2016: 131-147. DOI
  • Ginés Moreno, Jaime Penabad, José A. Riaza. On Similarity-Based Unfolding. International Conference on Scalable Uncertainty Management: 420-426. 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). PDF Slides
  • 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). PDF Slides
  • 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). PDF Slides