Ginés Moreno Valverde Profesor Titular de Universidad /  Associate Professor Departamento de Sistemas Informáticos / Dept. Computing Systems Escuela  Superior de Ingeniería Informática, 02071 ALBACETE, SPAIN E-MAIL:  Gines.Moreno@uclm.es              gmoreno@dsi.uclm.es   TEL:   +34 967 599200  (ext. 2471)   FAX:  +34 967 599224     DESPACHO (OFFICE): 1.C.9

Ginés Moreno es Diplomado en Informática por la Universidad de Castilla-La Mancha (1988), Licenciado en Informática por la Universidad de Málaga (1993) y Doctor en Informática por la Universidad Politécnica de Valencia (2000).  Desde septiembre de 1989 hasta mayo de 2003 fue Profesor Titular de Escuela Universitaria y actualmente es Profesor Titular de Universidad del área de Lenguajes y Sistemas Informáticos en el Departamento de Sistemas Informáticos de la UCLM.

DOCENCIA / TEACHING: Actualmente imparte docencia en la Escuela Superior de Ingeniería Informática de Albacete en asignaturas de primer, segundo y tercer ciclo de ingeniería informática,  concretamente en   ‘programación declarativa’ (segundo curso),  ‘ampliación de programación declarativa’ (quinto curso) y ‘programación internet con lenguajes declarativos multi-paradigma’ (asignatura  de master/doctorado en el programa de postgrado en  “Tecnologías informáticas avanzadas”).

INVESTIGACIÓN / RESEARCH: Sus principales temas de investigación están relacionados con la programación declarativa, especialmente con la integración de los paradigmas funcional, lógico y difuso y la transformación automática de programas declarativos. En esta línea se ha desarrollado la herramientas Synth,  un potente sistema de transformación de programas lógico-funcionales escritos en el lenguaje Curry y más recientemente se está trabajando en el desarrollo del entorno Floper para la manipulación de programas lógico difusos.

ACTIVIDADES / ACTIVITIES: Durante la realización de su tesis doctoral (desde 1995 a 2000)  ha pertenecido al grupo de investigación ELP (Extension of Logic Programming) de la Universidad Politécnica de Valencia y en la actualidad co-dirige el grupo de investigación DEC-t (Programación Declarativa y Transformación Automática de Programas) constituido  en octubre de 2000 en la UCLM, y dirige el laboratorio de Tecnologías Declarativas Aplicadas (TDA) del Instituto de Investigación en Informática de Albacete (I³A).  Entre otros cargos profesionales cabe destacar:     

• Presidente del Comité de Programa de las ‘IX Jornadas sobre Programación y Lenguajes’, PROLE’09, y miembro de los comités de programa de las cuatro ediciones anteriores  de PROLE.
• Coordinador del programa de postgrado (master y doctorado) de la UCLM en “Tecnologías Informáticas Avanzadas”, adaptado al EEES (Espacio Europeo de Educación Superior y con Mención de Calidad de la ANECA (Agencia Española de Evaluación de la Calidad) con referencia MCD2006-00423.
• Investigador principal de los proyectos de investigación nacionales   ALDDEIA (Aplicaciones de la Lógica Difusa al Desarrollo de Entornos Informáticos Avanzados, con referencia del MEC,   TIN2007-65749)  y   STREAM (CICYT TIC 2001-2705-C03-03).
• Coordinador del programa ERASMUS entre la UCLM y la Universidad de Udine (Italia).

Publicaciones/Publications

Note that some papers are copyrighted by either the authors or the publisher. The papers here provided are for personal use; other uses require the explicit written permission of the copyright holder.

Tesis Doctoral/PhD Thesis

• Reglas y Estrategias de Transformación para Programas Lógico-Funcionales. (Advisors: Mária Alpuente y Germán Vidal). Universidad Politécnica de Valencia. Mayo, 2000.
  Available: Abstract / PostScript/ BibTeX entry

Libros editados /Edited books

• M.A. Fernández, P. González, G. Moreno, T. Rojo (Eds.). Vida Artificial. Colección Ciencia y Técnica, vol 10. Ediciones de la Universidad de Castilla-La Mancha. Cuenca, 1995.
• J.M. García, M.A. Fernández, J.A. Guerrero, G. Moreno (Eds.). Nuevas tendencias de la informática actual: Arquitecturas Paralelas y Programación Declarativa. Colección Estudios, vol 26. Ediciones de la Universidad de Castilla-La Mancha. Cuenca, 1994.

Revistas/Journals

• G. Moreno, V. Pascual (2009). A Hybrid Programming Scheme Combining Fuzzy-Logic and Functional-Logic Resources. Fuzzy Sets and Systems, Volume 160, Issue 10, 16 May 2009, Pages 1402-1419. Elsevier Science ( Amsterdam ). (Extended version of a previous paper selected in WILF 2005).
  Available:  Online article, doi:10.1016/j.fss.2008.11.028    
• P. Julián, G. Moreno, J. Penabad (2009). An Improved Reductant Calvulus using Fuzzy Partial Evaluation Techniques. Fuzzy Sets and Systems,   Volume 160, Issue 2, 16 January 2009, Pages 162-181. Elsevier Science ( Amsterdam ). (Extended version of a previous paper selected in CMPI 2006).
  Available:  Online article, doi:10.1016/j.fss.2008.05.006   
• J.A. Guerrero, G. Moreno (2008). Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding. Electronic Notes in Theoretical Computer Science, Volume 219, 20 November 2008, Pages 19-34. Elsevier Science ( Amsterdam ). (Extended version of a previous paper selected in RULE 2007).
  Available:  Online article, doi:10.1016/j.fss.2008.05.006   
• J.M. Abietar, P. Morcillo, G. Moreno, (2007) Designing a Software Tool for Fuzzy Logic Programming.  Editores:  T.E. Simos and G. Maroulis, American Institute of Physics, Volume 2 (Computation in Modern Science and Engineering), pp: 1117-1120. Distribuido  por Springer-Verlag (Berlín).  ISBN 978-0-7354-0478-6. Print ISSN 0094-243X .·Online ISSN 1551-7616.
• P. Julián, G. Moreno, J. Penabad (2006). Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. Electronic Notes in Theoretical Computer Science, Volume 188, 16 July 2007, Pages 77-90. Elsevier Science ( Amsterdam ) .  (Extended version of a previous paper selected in PROLE 2006).
  Available:  Online article, doi:10.1016/j.entcs.2007.05.039     
• G. Moreno, V. Pascual (2007). Formal Properties of Needed Narrowing with Similarity Relations. 15 pages. Electronic Notes in Theoretical Computer Science,  Volume 188, 16 July 2007, Pages 21-35. Elsevier Science ( Amsterdam ) .  (Extended version of a previous paper selected in PROLE 2006).
  Available:  Online article, doi:10.1016/j.entcs.2007.05.036    
• P. Julián, G. Moreno, J . Penabad(2006). Operacional/Interpretive Unfolding of Multi-Adjoint Logia Programs. Journal of Universal Computer Science. Vol: 12, Nº 11, pp. 1679-1699.   Graz ( Austria ). ISSN: 0948-69X, Online Edition: ISSN 0948-6968. Extended version of a previous paper in PROLE 2005).
  Available:  Online article
• P. Julian, G. Moreno, J. Penabad. (2005). On Fuzzy Unfolding: A Multi-adjoint Approach. Fuzzy Sets and Systems, Volume 154, Pages  16-33. Elsevier Science ( Amsterdam ).
  Available:  Online article
• P. Julian, G. Moreno, J. Penabad. (2005. ) Unfolding-based Improvements on Fuzzy Logic Programs. Electronic Notes in Theoretical Computer Science, Vol. 137, issue 1 (20 July 2005), pp. 69-103. Elsevier Science ( Amsterdam ). (Extended version of a previous paper in PROLE 2004).
  Available:  Online article
• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. (2004) "Rules + Strategies" for Transforming Lazy Functional Logic Programs. Theoretical Computer Science, Vol 311, pp. 479-525. Elsevier Science (Amsterdam)
  Available: Abstract / PDF/ Online article / BibTeX entry
• G. Moreno, (2003) A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations. Electronic Notes in Theoretical Computer Science, Vol.86 (No. 3)  pp 24. Elsevier Science ( Amsterdam ). (Extended version of a previous paper in WFLP 2003).
   Available: Abstract / PostScript /Online_article / BibTeX entry
• G. Moreno (2002) Transformation Rules and Strategies for Functional Logic Programs. "Artificial Intelligence Communications", Vol 15 (Nos. 2,3), pp. 163-165, (ISSN 0921-7126). IO Press ( Amsterdam ).
  Available: Abstract / PostScript /BibTeX entry
• M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, G. Vidal (1999) Un Sistema de Transformación para Programas Multiparadigma. Revista Iberoamericana de Inteligencia Artificial, Vol 8, pp. 27-35,  Asociación Española para la Inteligencia Artificial (AEPIA).
  Available: Abstract / PostScript /BibTeX entry
• G. Moreno, P. González, J.A. Gámez. (1993) Parallel Algorithm for Table Division in Relational Databases. Microprocessing and Microprogramming 39, pp. 169-172. North-Holland. Elsevier Science (Amsterdam)
  Available: Abstract

Congresos / Conferences

• P. Morcillo, G. Moreno, (2009). On Cost Estimations for Executing Fuzzy Logic Programs.  Proc. of the 2009 International Conference on Artificial Intelligence (ICAI'09-WORLDCOMP'09), Las Vegas, USA. July, 13-16.  (7 pages). IEEE (in press).
• P. Julián, G. Moreno, J. Penabad (2009). On the Declarative Semantics of Multi-Adjoint  Logic Programs . Proc. of the 10^th International Work-Conference on Artificial Neural Networks (IWANN2009, J. Cabestany et al. editors, Part I), Salamanca, Spain,  June 10-12 . Lecture Notes in Computer Science, Volume: 5517, pp. 254-261. Springer-Verlag.
• P.J.  Morcillo, G. Moreno, (2009) Modeling Interpretive Steps in Fuzzy Logic Computations. Proc. of  8^th International Workshop on Fuzzy Logic and Applications (WILF'09), Palermo, Italy. June, 9-12.  Lecture Notes in Artificial Intelligence 5571, pp. 44–51.  Springer-Verlag.
• P. J. Morcillo, G. Moreno (2008). Programming with Fuzzy Logic Rules by using the FLOPER tool. Proc. of 2nd Intl Symposium on rule Interchange and aplications, (RuleML'08), Orlando, U.S.A. October 30-31. Lecture Notes in Computer Sciences 5321, pp 119-126. Springer-Verlag.
  Available: Online article,  DOI 10.1007/978-3-540-88808-6
• P. Julián, J. Medina, G. Moreno, M. Ojeda (2008). Tresholded Tabulation in a Fuzzy Logic Setting. Proc. of VIII Jornadas sobre Programación y Lenguajes (PROLE'08), Gijon, Spain. October 7-10. Pages 57-71, Editorial Fundación Universidad de Oviedo. (ISBN: 978-84-612-5819-2)
• P. J. Morcillo, G. Moreno (2008). FLOPER, a Fuzzy Logic Programming Environment for Research. Proc. of VIII Jornadas sobre Programación y Lenguajes (PROLE'08), Gijon, Spain . October 7-10. Pages 259-263, Editorial Fundación Universidad de Oviedo. (ISBN: 978-84-612-5819-2)
• P. J. Morcillo, G. Moreno (2008). Using FLOPER for Running/Debugging Fuzzy Logic Programs. Proc. of the 12th International Conference on Information Processing and management of Uncertainty in Knoledge-based Systems (IPMU'08), Málaga, Spain . June 22-27. Pages 481-488. University of Málaga. (ISBN: 9788461230617)
• P. Julián, J. Medina, G. Moreno, M. Ojeda (2008). Combining tabulation and thresholding techniques for executing multi-adjoint logic programs. Proc. of the 12th International Conference on Information Processing and management of Uncertainty in Knoledge-based Systems (IPMU'08), Málaga, Spain . June 22-27. Pages 550-512. University of Málaga.  (ISBN: 9788461230617)
• P. J. Morcillo, G. Moreno (2008). The Fuzzy Logic Programming Environment FLOPER. 15th International Symposium on formal Methods (FM 2008), "Poster and Research Tools", Turku, Finland. May 26-30.
• J.A. Guerrero, G. Moreno (2007). Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding . Proc. of 8th International Workshop on Rule-Based Programming (RULE'07), Paris, France. June 29. Volume 219, Pages 19-34.  Electronic Notes in Theoretical Computer Science , Elsevier Science.
• G. Moreno, V. Pascual (2007). Similarity-based Unification Embedded into Narrowing . Proc. of 21th International Workshop on Unification (UNIF'07), Paris, France. June 29. 15 pages. University of Paris Sud.
• P. Julián, G. Moreno, J. Penabad (2007). Measuring the Interpretive Cost in Fuzzy Logic Computations . Proc. of the International Workshop on Fuzzy Logic and Applications (WILF'07), Genova , Italy . July 7-10 . Lecture Notes in Artificial Intelligence, Volumen: 4578, pp. 28-36. Springer- Verlag .
• P. Julián, G. Moreno, J. Penabad (2007). Cost Measures for Fuzzy Logic Computations . Proc. of VII Jornadas sobre Programación y Lenguajes (PROLE'07), Zaragoza , Spain . September. 12-14. Editor E. Pimentel. Páginas: 103-110, Editorial Thomson-Paraninfo (Madrid). ISBN: 978-84-9732-599-8
• J.M. Abietar , P.J. Morcillo, G. Moreno (2007). Building a Fuzzy Logic Programming Tool . Proc. of VII Jornadas sobre Programación y Lenguajes (PROLE'07), Zaragoza , Spain . September. 12-14.  Editor E. Pimentel. Páginas: 215-222, Editorial Thomson-Paraninfo (Madrid). ISBN: 978-84-9732-599-8.
• G. Moreno , V. Pascual (2006). Soft Computing with Strict  Similar Equality. Proc. of 6th International Conference on Recent  Advances  in  Soft  Computing, RASC’2006. Canterbury, UK. July, 10-12. Ed. Konstantinos Sirlantzis, University of Kent. pp. 24-29.   ISBN: 978-1-902671-42-0.
• P. Julián, G. Moreno, J. Penabad (2006). Evaluación Parcial de Programas Lógicos Multi-adjuntos y Aplicaciones. Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI’2006. Albacete (Spain), July, 10-14. pp. 712-724. University of Castilla-La Mancha. ISBN 84-689-9560-6.
• G. Moreno, V. Pascual (2006). Programando con Igualdad Similar Estricta. Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI’2006. Albacete ( Spain ), July, 10-14. pp. 600-612. University of Castilla-La Mancha. ISBN 84-689-9560-6.
• P. Julián, G. Moreno, J. Penabad (2006). Efficient Reductants Calculi by Using Partial Evaluation Techniques with Thresholding.  Proc. of VI  Jornadas  sobre Programación y Lenguajes (PROLE'06) Sitges , Spain . October. 21-27.   pp. 275-289. Technical University of Catalonia . ISBN 84-95999-84-6.
• G. Moreno, V. Pascual (2006) Formal Properties of Needed Narrowing with Similarity Relations. Proc. of VI  Jornadas  sobre Programación y Lenguajes (PROLE'06) Sitges, Spain. October. 21-27.  pp. 137-151. Technical University of Catalonia. ISBN 84-95999-84-6.
• G. Moreno, (2006) Building a Fuzzy Transformation System. Proc. of  32nd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2006),  Merin, Czech Republic, January 21-27, 2006. Lecture Notes in Computer Science, 3831, pp. 409-418. Springer-Verlag
  Available: Online article
• G. Moreno, V. Pascual (2005) Programming with Fuzzy-Logic and Mathematical Functions. Proc. of  International Workshop on Fuzzy Logic and Applications (WILF'05), University of Milan , Crema , Italy . September, 15-17. Lecture Notes in Artificial Intelligence, 3849, pp. 89-98. Springer-Verlag 
  Available: Online article
• P.Julián, G. Moreno, J. Penabad (2005) Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. Proc. of  V Jornadas sobre Programación y Lenguajes (PROLE'05) Granada, Spain. September, 14-16. pp. 239-248. University of Granada.
• G. Moreno, V. Pascual (2005) Functional-Logic Programming with Similarity. Proc. of  V Jornadas sobre Programación y Lenguajes (PROLE'05) Granada, Spain. September, 14-16. pp. 121-126.   University of Granada.
• S. González, G. Moreno, (2004) Improved Tupling for Optimizing Multi-Paradigm Declarative Programs. Proc. of the 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA'04), Puebla, Mexico. November 22-25. Lecture Notes in Artificial Intelligence 3315, pp. 419-429. Springer-Verlag
  Available: Abstract / PostScript /Online article/BibTeX entry/Slides
• S. González, G. Moreno, (2004) Integrated Transformation Strategies for Integrated Declarative Programs. Proc. of IV Jornadas sobre Programación y Lenguajes (PROLE'04) Málaga, Spain. November, 11-12, pp. 255-258. University of Málaga (short version of the previous paper).
  Available: Abstract /PostScript/BibTeX entry
• P.Julián, G. Moreno, J. Penabad (2004) Unfolding-based Improvements on Fuzzy Logic Programs. Proc. of IV Jornadas sobre Programación y Lenguajes (PROLE'04) Málaga, Spain. November, 11-12. pp. 241-254. University of Málaga.
  Available: Abstract /PostScript/BibTeX entry
• P.Julián, G. Moreno, J. Penabad (2004) Unfolding Fuzzy Logic Programs. Proceedings of the IEEE 4th International Conference on Intelligent Systems Design and Applications (ISDA'04), Budapest, Hungary. August 26-28, pp. 595-600. ISBN 963 7154 29 9.
  Available: Abstract / PostScript /BibTeX entry

• G. Moreno, (2003) A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations. Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03), Valencia, Spain. June 12-13. pp. 130-143. Technical University of Valencia (DSIC). Technical Report DSIC-II/13/03. ISBN 84-96221-02-4.
  Available: Abstract / PostScript /BibTeX entry
• G. Moreno, (2002) Automatic Optimization of Multi-Paradigm Declarative Programs. Proc. of the The 8th Ibero-American Conference on Artificial Intelligence (IBERAMIA'02), Sevilla, Spain. November 12-15. Lecture Notes in Artificial Intelligence 2527, pp 131-140. Springer-Verlag
  Available: Abstract / PostScript /BibTeX entry
• G. Moreno, (2002) Incremental Tupling in a Functional-Logic Setting. Proc. of Segundas Jornadas de Lenguajes de Programación" (PROLE'02), El Escorial, Spain. November 21-22. pp. 103-118. Technical University of Madrid.
  Available: Abstract /PostScript/BibTeX entry
• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. (2000) An Automatic Composition Algorithm for Functional Logic Programs. Proc. of the 27th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'2000), Milovy, Czech Republic. November 25 - December 2. Lecture Notes in Computer Science 1963, pp. 89-297.Springer-Verlag
  Available: Abstract / PostScript/ BibTeX entry
• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. (2000) Using Partial Evaluation to Automate Program Composition. Proc. of the 9th International Whorshop on Functional and Logic Programming (WFLP'00), Benicassim, Spain. September 28-30. pp. 169-183. Technical University of Valencia (DSIC).
  Available: PostScript
• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (1999). A Transformation System for Lazy Functional Logic Programs. Proc. of the 4th International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan. November 11-13. Lecture Notes in Computer Science 1722, pp. 147-162. Springer-Verlag.
  Available: Abstract / PostScript /BibTeX entry
• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (1997). Safe Folding/Unfolding with Conditional Narrowing. (Enhanced version of AGP'97). Proc. of the 6th International Conference on Algebraic and Logic Programming (ALP'97), Southampton, UK. September 3-5. Lecture Notes in Computer Science 1298, pp. 1-15. Springer-Verlag.
  Available: Abstract / Online article / BibTeX entry
• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (1997). Safe Folding/Unfolding with Conditional Narrowing. Proc. of the AGP'97 Joint Conference on Declarative Programming, Grado, Italy . June 16-19. Udine University. (15 pages)
  Available: PostScript
• G. Moreno, T. Rojo, P.González (1994). Diseño e implementación de un lenguaje inmerso en una base de datos relacional. Proc. of the 4º Congreso Internacional de Nuevas Tecnologías de La Habana, La Habana, Cuba. February 21-16. IFIP. (21 pages).
  Available: Abstract
• G. Moreno, P.González, J.A. Gámez (1993). Parallel Algorithm for Table Division in Relational Databases. Microprocessing and Microprogramming (Euromicro'93), Barcelona, Spain. September 6-9. Technical University of Catalonia. (4 pages).
  Available: Abstract
• G. Moreno, J.A. Gámez, F. Cuartero (1993). BAREL: un lenguaje de manipulación de datos basado en el álgebra relacional. Proc. of the Segundas Jornadas de Ingeniería de Sistemas y Computación, Quito, Ecuador. April 12-16. National Technical University. pp 55-64.
  Available: Abstract

Informes Técnicos/Technical Reports

• #DIAB-05-11-1 G. Moreno, V. Pascual. Designing Declarative Languages with Laziness and Fuzziness (15 pages). Departamento de Informática, UCLM, 2005.
  Available: PostScript
• #DIAB-04-05-1 S. González, G. Moreno. Incremental Tupling with Simplification pre-Process. (18 pages). Departamento de Informática, UCLM, 2004.
  Available: PostScript
• #DIAB-04-03-2 P.Julián, G. Moreno, J. Penabad. Unfolding Fuzzy Logic Programs. (27 pages). Departamento de Informática, UCLM, 2004.
  Available: PostScript
• #DIAB-04-03-1 S. González, G. Moreno. Combining Composition and Tupling for Optimizing Declarative Programs. (9 pages). Departamento de Informática, UCLM, 2004.
  Available: PostScript
• #DIAB-02-07-27 G. Moreno. A Safe Transformation System for Optimizing Functional Programs. (19 pages). Departamento de Informática, UCLM, 2002.
  Available: PostScript
• #DIAB-02-07-24 G. Moreno. Automatic Tupling for Functional-Logic Programs. (25 pages). Departamento de Informática, UCLM, 2002.
  Available: PostScript
• #II-DSIC-23/99 M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. Transformation-based Strategies for Lazy functional Logic Programs, (26 pages). Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia. 1999.
  Available: PostScript
• #II-DSIC-16/99 M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, G. Vidal, I. Ziliotto. The Transformation System SYNTH, (16 pages). Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia. 1999.
  Available: interpreter)
   

 

  Publicaciones docentes

• V. Valero, T. Rojo,  G. Moreno. (1999)  Estructuras de datos y de la información.   UCLM. 
• F. Cuartero, G. Moreno, J.A. Guerrero. (1992)  Estructuras de datos.   UCLM. ISBN 84-600-7813-2.
• J.A. Guerrero, F. Cuartero, G. Moreno. (1992) Algorítmica. UCLM. ISBN 84-604-2271-2.
• G. Moreno, J.A. Guerrero, F. Cuartero. (1992) Algoritmos y estructuras de datos: libro de prácticas. UCLM. ISBN 84-600-7814-4.