Publications

PhD Thesis

Edited books

  • P. Lucio, G. Moreno, R. Peña (2009). Post-Proceedings of the Ninth Spanish Conference on Programming and Languages. Electronic Notes in Theoretical Computer Science.  Volume 258, Number 1  (extended versions of seven  works selected from  PROLE-2009). Elsevier Science (Amsterdam).  ISSN: 1571-0661. http://dx.doi.org/10.1016/j.entcs.2009.12.001
  • P. Lucio, G.  Moreno,  R.  Peña (2009). Actas de las IX Jornadas sobre Programación y Lenguajes, PROLE’09.  377 pages. ISBN: 978-84-692-4600-9.  http://www.sistedes.es/ficheros/actas-conferencias/PROLE/2009.pdf
  • M.A. Fernández, P. González, G. Moreno, T. Rojo (1995). Vida Artificial. Colección Ciencia y Técnica, vol 10. 206 pages. ISBN 84-88255-98-5. Ediciones de la Universidad de Castilla-La Mancha. Cuenca.
  • J.M. García, M.A. Fernández, J.A. Guerrero, G. Moreno (1994). Nuevas tendencias de la informática actual: Arquitecturas Paralelas y Programación Declarativa. Colección Estudios, vol 26. 302 pages. ISBN 84-88255-63-2.Ediciones de la Universidad de Castilla-La Mancha. Cuenca.

Journals

  • J.M. Almendros-Jiménez, A. Luna, G. Moreno (2015). Fuzzy XPath Through Fuzzy Logic Programming. New Generation Computing. April 2015, Volume 33 (issue 2). Pages: 173-209.  ISSN:  0288-3635. Available: http://dx.doi.org/10.1007/s00354-015-0201-y
  • G. Moreno, J. Penabad, C. Vázquez (2015). Beyond Multi-Adjoint Logic Programming. International Journal of Computer Mathematics (special issue: new computational and statistical models in science and economics). Volume: 92 (Issue 9). Pages 1956-1975. Taylor&Francis (London). ISSN 0020-7160 print/ISSN 1029-0265. Available: http://dx.doi.org/10.1080/00207160.2014.975218
  • M. Bofill, G. Moreno, C. Vázquez and M. Villaret (2015). Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT. Electronic Communications of the EASST (European Association of Software Science and Technology). In press. Pages: 1-19. ISSN: 01863-2122.
  • J.M. Almendros-Jiménez, A. Luna, G. Moreno and C. Vázquez (2015). Analyzing Fuzzy Logic Computations with Fuzzy XPath. Electronic Communications of the EASST (European Association of Software Science and Technology). In press. Pages: 1-19. ISSN: 01863-2122.
  • G. Moreno,  C. Vázquez  (2014)Fuzzy Logic Programming in Action with FLOPER. Journal of Software Engineering and Applications, April 2014, Volume 7 (N. 4), Pages 273-298. Scientific Research.  ISSN print 1945-3116, ISSN Online: 1945-3124. Available  doi: 10.4236/jsea.2014.74028.
  • P.J. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2012). String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. Electronic Communications of the EASST (European Association of Software Science and Technology), Volume: 55, Pages: 1-17. ISSN: 01863-2122. Available: http://journal.ub.tu-berlin.de/eceasst/article/view/820
  • P.J. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2012). Dedekind-Macneille Completion and Cartesian Product of Multi-Adjoint Lattices. International Journal of Computer Mathematics, 28 May 2012,  Pages 1-11. Taylor&Francis (London). ISSN 0020-7160 print/ISSN 1029-0265 online.  Available:  http://dx.doi.org/10.1080/00207160.2012.689826
  • 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 ). Available:  http://dx.doi.org/10.1016/j.fss.2008.11.028    
  • P. Julián, G. Moreno, J. Penabad (2009). An Improved Reductant Calculus using Fuzzy Partial Evaluation Techniques. Fuzzy Sets and Systems,   Volume 160, Issue 2, 16 January 2009, Pages 162-181. Elsevier Science ( Amsterdam ). Available: http://dx.doi.org/10.1016/j.fss.2008.05.006   
  • J.M. Abietar, P. Morcillo, G. Moreno, (2007) Designing a Software Tool for Fuzzy Logic Programming.  Computation in Modern Science and Engineering,Volume 2,  pp: 1117-1120. American Institute of Physics, Distributed  by 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). 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. Available: http://dx.doi.org/10.3217/jucs-012-11-1679
  • 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:  http://dx.doi.org/10.1016/j.fss.2005.03.013
  • 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: http://dx.doi.org/10.1016/j.tcs.2003.10.033
  • 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: Online article
  • 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: Online article
  • 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: http://dx.doi.org/10.1016/0165-6074(93)90081-U

Articles, Chapters and Conferences

C. Vázquez, G. Moreno, L. Tomás,J. Tordsson (2015). A Cloud Scheduler Assisted by a Fuzzy Affinity-Aware Engine. Proc. of the 2015 IEEE International Conference on Fuzzy Systems, FUZZIEEE'15.  Istanbul, Turkey, August 2-5, 2015. Pages 8. IEEE (in press).

J.M. Almendros-Jiménez, A. Luna, G. Moreno (2015). Thresholded Debugging of  XPath Queries. Proc. of the 2015 IEEE International Conference on Fuzzy Systems, FUZZIEEE'15.  Istanbul, Turkey, August 2-5, 2015. Pages 9. IEEE (in press).

J.M. Almendros-Jiménez, M. Bofill, A. Luna-Tedesqui, G. Moreno, C. Vázquez and M. Villaret (2015). Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models.  Proc. of the 9th International Conference on Scalable Uncertainty Management, SUM'15. Quebec, Canada, September 16-18, 2015. Lecture Notes in Computer Science, pages 14.  Springer (in press).

P. Julián-Iranzo, G. Moreno and C. Vázquez (2015). Similarity-based Strict Equality in a Fully Integrated Fuzzy Logic Language. Proc. of the 9th International Web Rule Symposium, RuleML'15. Berlin, Germany, August 2-5. Lecture Notes in Computer Science 9202, pages 193-207. Springer International Publishing Switzerland. Available: http://dx.doi.org/10.1007/978-3-319-21542-6_13

P.J. Morcillo, G. Moreno (2015). Improving Multi-adjoint Logic Programms by Unfolding Fuzzy Connective Definitions.  In Proc. of the 13th. International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12. Proceedings, Part I, Lecture Notes in Computer Science 9094, pages 511-524. Springer. Available: http://dx.doi.org/10.1007/978-3-319-19258-1_42.

P. Julián-Iranzo, Ginés Moreno, J. Penabad, C. Vázquez (2015). A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. Electronic Proceedings in Theoretical Computer Science, EPTCS. Volume 173.  pages 71-86. ISSN: 2075-2180. Available: http://dx.doi.org/10.4204/EPTCS.173.6

J.M. Almendros-Jiménez, A. Luna, G. Moreno (2014). Fuzzy XPath Queries in XQuery. Proc. of 13th. Intl. Conference on Ontologies, DataBases, and Applications of Semantics, ODBASE 2014. Amantea, Italy, October 27-31, 2014. Pages 457-472. Lecture Notes in Computer Science 8841. Springer-Verlag Berlin Heidelberg. Available:  http://dx.doi.org/10.1007/978-3-662-45563-0_27

G. Moreno, J. Penabad, C. Vázquez (2014). Fuzzy Logic Rules Modeling Similarity-based Strict Equality.  Proc. of 9th International Symposium Advances in Artificial Intelligence and Applications ( AAIA'14) and 2014 Federated Conference on Computer Science and Information Systems (FedCSIS). Varsaw, Poland, Septembert 7-10. Annals of Computer Science and Information Systems. Volume 2, pages 119-128. IEEE. Available: http://dx.doi.org/10.15439/2014F387

P. Julián, G. Moreno, J. Penabad, Carlos Vázquez (2014). A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. Proc. of XIV Jornadas sobre Programación y Lenguajes, PROLE'14, Cádiz, Spain, September 17-19, pages 145-154. University of Cádiz.

J.M. Almendros-Jiménez, A. Luna, G. Moreno,  (2014). Towards an XQuery-based implementation of Fuzzy XPath.  Proc. of XIV Jornadas sobre Programación y Lenguajes, PROLE'14, Cádiz, Spain, September 17-19, pages 73-88. University of Cádiz.

J.M. Almendros-Jiménez, A. Luna, G. Moreno (2014). Dynamic Filtering of Ranked Answers when Evaluating Fuzzy XPath Queries.  Proc. of Rough Sets and Current Trends in Soft Computing - 9th International Conference, RSCTC 2014 (Special session on "Soft Computing in Information Access Systems on the Web). Granada and Madrid, Spain, July 9-13, 2014. Pages 319-330, Lecture Notes in Computer Science 8536. Springer. Available:   http://dx.doi.org/10.1007/978-3-319-08644-6_33

G. Moreno, J. Penabad, C. Vázquez (2014). Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming.  Proc. of Rough Sets and Current Trends in Soft Computing - 9th International Conference, RSCTC 2014  (Special session on "Fuzzy Logic and Rough Sets: Tools for Imperfect Information"). Granada and Madrid, Spain, July 9-13, 2014. Pages 71-82, Lecture Notes in Computer Science 8536. Springer. Available:  http://dx.doi.org/10.1007/978-3-319-08644-6_7

C. Vázquez, L. Tomás, G. Moreno, J. Tordsson (2013). A fuzzy approach to cloud admission control for safe overbookingProc. of 10th International Workshop on Fuzzy Logic and Applications (WILF' 13).  Genoa, Italy, November 19-22. Volume 8256 .of Lecture Notes in Computer Science, pages 212-225. Springer. Available: http://dx.doi.org/10.1007/978-3-319-03200-9_22

P. Eklund, M.A. Galán García, R. Helgesson, J. Kortelainen, G. Moreno, C. Vázquez (2013). Towards Categorical Fuzzy Logic Programming.. Proc. of 10th International Workshop on Fuzzy Logic and Applications (WILF' 13).  Genoa, Italy, November 19-22. Volume 8256 .of Lecture Notes in Computer Science, pages 109-121. Springer. Available: http://dx.doi.org/10.1007/978-3-319-03200-9_12

J.M. Almendros-Jiménez, A. Luna, G. Moreno, Carlos Vázquez (2013). Analyzing Fuzzy Logic Computations with Fuzzy XPath.  Proc. of XIII Jornadas sobre Programación y Lenguajes, PROLE'13, Madrid, Spain, September 17-20, pages 136-150. Technical University of Madrid (ISBN   978-84-695-8331-9).

M. Bofill, G. Moreno, C.Vázquez, M. Villaret  (2013). Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT.  Proc. of XIII Jornadas sobre Programación y Lenguajes, PROLE'13, Madrid, Spain, September 17-20, pages 151-165. Technical University of Madrid (ISBN   978-84-695-8331-9).

P. Eklund, M.A. Galán, R. Helgesson, J. Kortelainen, G. Moreno, C. Vázquez (2013). Towards a Categorical Description of Fuzzy Logic Programming.  Proc. of XIII Jornadas sobre Programación y Lenguajes, PROLE'13, Madrid, Spain, September 17-20, pages 126-135. Technical University of Madrid (ISBN   978-84-695-8331-9).

G. Moreno, J. Penabad,, C. Vázquez (2013). Relaxing the Role of Adjoint Pairs in Multi-Adjoint Logic Programming.   Proc. of 13th International Conference on Mathematical Methods in Science and Engineering, CMMSE'13. Cabo de Gata, Almería, Spain. June, 24-27. Volume III. Pages: 1056-1067.. ISBN: 978-84-616-2723-3

J.M. Almendros-Jiménez, A. Luna, and G. Moreno (2013). Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries.  In Advances in Computational Intelligence - 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14. Proceedings, Part II, volume 7903 of Lecture Notes in Computer Science, pages 300-311. Springer. Available:  http://dx.doi.org/10.1007/978-3-642-38682-4_33

P. Julián, J. Medina-Moreno, P.J. Morcillo, G. Moreno, M.Ojeda-Aciego (2013). An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. In Advances in Computational Intelligence - 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14. Proceedings, Part I, volume 7902 of Lecture Notes in Computer Science, pages 647-655. Springer. Availablehttp://dx.doi.org/10.1007/978-3-642-38679-4_65

J.M. Almendros-Jiménez, A. Luna, G. Moreno (2012). A XPath Debugger Based on Fuzzy Chance Degrees. OTM Workshops 2012Proc. of 11th. Intl. Conference on Ontologies, DataBases, and Applications of Semantics, ODBASE 2012. Rome, Italy, September 10-14. Volume 7567 of Lecture Notes in Compute Science, pages 669-672. Springer. Available: http://dx.doi.org/10.1007/978-3-642-33618-8_91

P.J. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2012). String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. Proc. of XII Jornadas sobre Programación y Lenguajes, PROLE'12, Almería, Spain,  18-19 September, pages 18-19.  University of Almería (ISBN 978-84-15487-27-2).

J.M. Almendros-Jiménez, A. Luna, G. Moreno (2012). Debugging Fuzzy XPath Queries. Proc. of XII Jornadas sobre Programación y Lenguajes, PROLE'12, Almería, Spain,  17-19 September, pages 119-133.  University of Almería (ISBN 978-84-15487-27-2).

J.M. Almendros-Jiménez, A. Luna, and G. Moreno (2012). Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. Electronic Notes in Theoretical Computer Science, 282:3-18. ISSN: 1571-0661. Available: http://dx.doi.org/10.1016/j.entcs.2011.12.002

G. Moreno, J. Penabad, and C. Vázquez (2012). On Fuzzy Correct Answers and Logical Consequences in Multi-Adjoint Logic Programming. Proc. of 12th International Conference on Mathematical Methods in Science and Engineering, CMMSE'12. La Manga, Spain, July 2-5. Volume III. Pages: 864-875. ISBN: 978-84-615-5392-1.

G. Moreno, J. Penabad, and C. Vázquez (2012).SSE: Similarity-based Strict Equality for  Multi-Adjoint Logic Programms. Proc. of 12th International Conference on Mathematical Methods in Science and Engineering, CMMSE'12. La Manga, Spain, July 2-5. Editor: J. Vigo-Aguiar. Volume III.  Pages: 876-887. ISBN: 978-84-615-5392-1.

P. Julián, J. Medina, P.J. Morcillo, G. Moreno, and M. Ojeda-Aciego (2011). A static preprocess for improving fuzzy thresholded tabulation. In Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II, volume 6692 of Lecture Notes in Computer Science, pages 429-436. Springer Verlag. Available: http://dx.doi.org/10.1007/978-3-642-21498-1_54

P.J. Morcillo and G. Moreno (2011). Improving completeness in multi-adjoint logic computations via general reductants. Proc. of 2011 IEEE Symposium on Foundations of Computational Intelligence, April 11-15, Paris, France, pages 138-145. IEEE (ISBN: 978-1-4244-9981-6). Available: http://doi.ieeecomputersociety.org/10.1109/FOCI.2011.5949467

J.M. Almendros-Jiménez, A. Luna, and G. Moreno (2011). Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. Proc. of XI Jornadas sobre Programación y Lenguajes, PROLE'11, A Coruña, Spain, September 5-7, pages 1-15 (work selected for further publication in  "Electronic Notes in Theoretical Computer Science", Elsevier). Universidade da Coruña (ISBN 978-84-9749-487-8). Available: Online article

P.J. Morcillo and G. Moreno (2011). Simplifying general reductants with unfolding-based techniques. Proc. of XI Jornadas sobre Programación y Lenguajes, PROLE'11, A Coruña, Spain, September 5-7, pages 154-168. Universidade da Coruña (ISBN 978-84-9749-487-8). Available: Online article

J.M. Almendros-Jiménez, A. Luna, and G. Moreno (2011). A Flexible XPath-based Query Language Implemented with Fuzzy Logic Programming. Proc. of 5th International Symposium on Rules: Research Based, Industry Focused, RuleML'11. Barcelona, Spain, July 19-21, pages 186-193. Springer Verlag, LNCS 6826. Available: http://dx.doi.org/10.1007/978-3-642-22546-8_15

P.J. Morcillo, G. Moreno, J. Penabad, and C. Vázquez (2011). Declarative Traces into Fuzzy Computed Answers. Proc. of 5th International Symposium on Rules: Research Based, Industry Focused, RuleML'11. Barcelona, Spain, July 19-21, pages 170-185. Springer Verlag, LNCS 6826. Available: http://dx.doi.org/10.1007/978-3-642-22546-8_14

P.J. Morcillo, G. Moreno, J. Penabad, and C. Vázquez (2011). Dedekind-Macneille Completion and Multi-Adjoint Lattices. Proc. of 11th International Conference on Mathematical Methods in Science and Engineering (special session on 'Mathematical Methods for Computer Science'), CMMSE'11. Benidorm, Spain, June 26-30, volume 2, pages 846-857. (ISBN 978-84-614-6167-7).

P.J. Morcillo, G. Moreno, J. Penabad, and C. Vázquez (2011). Fuzzy Computed Answers Collecting Proof Information. In Advances in Computational Intelligence - 11th International Work- Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II, volume 6692 of Lecture Notes in Computer Science, pages 445-452. Springer. Available:  http://dx.doi.org/10.1007/978-3-642-21498-1_56

J.A. Guerrero, G. Moreno, and C. Vázquez (2010). Una implementación del lambda-cálculo en prolog. Proc. of II Taller de Programación Funcional, TPF'10, Valencia, Spain, September 7, pages 7-14. Garceta grupo editorial (ISBN 978-84-92812-55-4).

P. Julián, J. Medina, G. Moreno, and M. Ojeda (2010). Efficient thresholded tabulation for fuzzy query answering. Studies in Fuzziness and Soft Computing (Foundations of Reasoning under Uncertainty), 249:125-141. Available: http://dx.doi.org/10.1007/978-3-642-10728-3_7

P. Julián, J. Medina, G. Moreno, and M. Ojeda-Aciego (2010). Efficient thresholded tabulation for fuzzy query answering. Proc. of X Jornadas sobre Programación y Lenguajes, PROLE'10, Valencia, Spain, September 7-10 , page 147. Garceta grupo editorial, 2010 (in "published works" section). ISBN 978-84-92812- 55-4.

P.J. Morcillo, G. Moreno, J. Penabad, and C. Vázquez (2010). A Practical Management of Fuzzy Truth Degrees using FLOPER. Proc. of 4th Intl. Symposium on Rule Interchange and Applications, RuleML'10. Washington, USA, October 21-23, pages 119-126. Springer Verlag, LNCS 6403. Available: http://dx.doi.org/10.1007/978-3-642-16289-3_4

P.J. Morcillo, G. Moreno, J. Penabad, and C. Vázquez (2010). Modeling interpretive steps into the FLOPER environment. In Proc. of the 2010 International Conference on Artificial Intelligence, ICAI'10, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes, pages 16-22. CSREA Press (ISBN: 1-60132-148-1). Available: BibTex

P.J. Morcillo, G. Moreno, J. Penabad, and C. Vázquez (2010). Multi-adjoint lattices for manipulating truth-degrees into the FLOPER system. Proc. of X Jornadas sobre Programación y Lenguajes, PROLE'10, Valencia, Spain, September 7-10 , pages 151-161. Garceta grupo editorial  (ISBN 978-84-92812-55-4).

G. Moreno (2010). Similarity-based equality with lazy evaluation. Proc. of the 13th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU'10, June 28-July 2, Dortmund, Germany, pages 108-117. Springer CCIS 80 (Part I). Available: http://dx.doi.org/10.1007/978-3-642-14055-6_12

P. Julián, J. Medina, G. Moreno, and M. Ojeda (2009). Thresholded tabulation in a fuzzy logic setting. Electronic Notes in Theoretical Computer Science, 248:115-130. Available: http://dx.doi.org/10.1016/j.entcs.2009.07.063

P.J. Morcillo and G. Moreno (2009). Modeling interpretive steps in fuzzy logic computations. Proc. of IX Jornadas sobre Programación y Lenguajes, PROLE'2009, San Sebastián, Spain, September 8-11, page 353 (in "published works" section). Universidad del País Vasco (ISBN 978-84-692-4600-9). Available: Online article

P.J. Morcillo and G. Moreno (2009). A practical approach for ensuring completeness of multi-adjoint logic computations via general reductants. Proc. of IX Jornadas sobre Programación y Lenguajes, PROLE'2009, San Sebastián, Spain, September 8-11, pages 355-363. Universidad del País Vasco (ISBN 978-84-692-4600-9). Available: Online article

P.J. Morcillo and G. Moreno (2009). Unfolding connective definitions in multi-adjoint logic programs. Proc. of the First Workshop on Computational Logics and Artificial Intelligence, CLAI'2009 (integrated in CAEPIA'2009), Sevilla, Spain, November 9, pages 59-70. Universidad de Sevilla.

G. Moreno (2009). Similarity-based equality with lazy evaluation. Proc. of the First Workshop on Computational Logics and Artificial Intelligence, CLAI'2009 (integrated in CAEPIA'2009), Sevilla, Spain, November 9, pages 13-22. Universidad de Sevilla.

P. Morcillo, G. Moreno, (2009). On Cost Estimations for Executing Fuzzy Logic Programs.  Proc. of of the 2009 International Conference on Artificial Intelligence, ICAI 2009, July 13-16, 2009, Las Vegas Nevada, USA, pages 217-223. CSREA Press (ISBN: 1-60132-109-0). Available: BibTex

P. Julián, G. Moreno, J. Penabad (2009). On the Declarative Semantics of Multi-Adjoint Logic Programs. Proc. of the 10th 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. Available: http://dx.doi.org/10.1007/978-3-642-02478-8_32

P.J. Morcillo, G. Moreno, (2009).  Modeling Interpretive Steps in Fuzzy Logic Computations. Proc. of  8th 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. Available: http://dx.doi.org/10.1007/978-3-642-02282-1_6

P. J. Morcillo, G. Moreno (2008). Programming with Fuzy 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. Springer Verlag, Lectures Notes Computer Sciences 3521, pp 119-126.

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. Fundación Universidad de Oviedo, 2008. (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'2008", Gijón, Spain, October 7-10, pages 259-263. 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 978-84-612-3061-7).

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 978-84-612-3061-7).

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 (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.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.  15 pages. University of Paris.

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.

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 (to appear) pp. 8. 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 (to appear). 10 pages. University of Zaragoza.

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. 10 pages. University of Zaragoza. 

P. Julián, G. Moreno, J. Penabad (2007). 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

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.

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

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

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.

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/BibTe X 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.

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 selected in WFLP 2003). Available: Abstract / PostScript /Online_article / 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) 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. (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: PostScript/ BibTeX entry.

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: http://dx.doi.org/10.1007/10705424_10     PostScript 

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: Online article

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).

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).

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. 

Technical Reports

  Publicaciones docentes