Source: https://dectau.uclm.es/publications/
Timestamp: 2019-04-24 22:42:46+00:00

Document:
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. Volume 64.
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). Pages: 1-19. ISSN: 01863-2122.
M. Bofill, G. Moreno, C. Vázquez and M. Villaret (2014). Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT. Electronic Communications of the EASST (European Association of Software Science and Technology). Volume 64. Pages: 1-19. ISSN: 01863-2122.
G. Moreno and 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.
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, Volume 282 Pages 3-18. Elsevier.
J.M. Almendros-Jiménez, A. Luna and G. Moreno (2012). XII Spanish Conference on Programming and Computer Languages (PROLE 2012). Electronic Communications of the EASST, Volume 10.
P. Julián, J. Medina, G. Moreno and M. Ojeda-Aciego (2009). Thresholded tabulation in a fuzzy logic setting. Electronic Notes in Theoretical Computer Science, Volume 248, Pages 115-130. Elsevier Science (Amsterdam).
Juan A. Guerrero and G. Moreno (2008). Optimizing fuzzy logic programs by unfolding, aggregation and folding. Electronic Notes in Theoretical Computer Science, Volume 219, Pages 19-34. Elsevier Science (Amsterdam).
J.M. Abietar, P. Morcillo and 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 and J. Penabad (2007). Efficient Reductants Calculi by Using Partial Evaluation Techniques with Thresholding. Electronic Notes in Theoretical Computer Science. Volume 188, pages 77-90. Elsevier. Available: Accepted Manuscript (dvi/Postscript/pdf/bibtex).
P. Julián. Partial Evaluation of Lazy Functional Logic Programs. AI Comunications. (16)1. Volume 16, number 2, pages 121-123. Available: Abstract (dvi/Postscript/pdf).
M. Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. Uniform Lazy Narrowing. Journal of Logic and Computation. (16)2: 287-312, 2003. You can find here some experiments and benchmark programs.
M. Alpuente, M. Falaschi, P. Julián and G. Vidal. Lazy Narrowing and Needed Narrowing: A Comparison. Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, Jun. 20-22, 2002. Udine University. Research Report UDMI/18/2002/RR, pp. 21-34. Available: dvi/Postscript/pdf / bibtex .
S. Antoy, P. Julián and B. Massey. Improving the Efficiency of Non-Deterministic Computations. Electronic Notes in Computer Science, Vol.64 (http://www.elsevier.nl/locate/entcs/volume64.html). Pages 77-98. Elsevier Science, 2002. (Extended version of a previous paper in WFLP 2001) Available:dvi/Postscript/pdf/bibtex . Also, you can find here some benchmark programs used in the experiments.
G. Moreno, J. Penabad and G. Vidal (2016). Tuning Fuzzy Logic Programs with Symbolic Execution. arXiv preprint arXiv:1608.04688.
P. Julián Iranzo, G. Moreno, J. Penabad and C. Vázquez (2016). A declarative semantics for a fuzzy logic language managing similarities and truth degrees. International Symposium on Rules and Rule Markup Languages for the Semantic Web. Pages 68-82. Springer (in press).
J. Almendros, A. Luna and G. Moreno (2016). Debugging while interpreting fuzzy XPath queries. Proc. of the 2016 IEEE International Conference on Fuzzy Systems, FUZZIEEE’16. Pages 233-240. IEEE (in press).
P.J. Morcillo, G. Moreno (2015). Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs⋆. ESCIM 2015. Pages: 109.
P. Julián-Iranzo, G. Moreno and J. Penabad (2015). A fuzzy logic programming environment for managing similarity and truth degrees. arXiv preprint arXiv:1501.02034.
C. Vázquez, G. Moreno, L. Tomás and 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.
J. Guerrero, M. S. Martínez, G. Moreno and C. Vázquez (2015). Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments. Proc. of the 2015 IEEE , 2015 IEEE Symposium Series on Computational Intelligence. Pages 995-1004. IEEE.
J.M. Almendros-Jiménez, A. Luna and 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 1- 9. IEEE .
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 385-398. Springer.
L. Tomás, C. Vázquez, J. Tordsson and G. Moreno (2015). Reducing noisy-neighbor impact with a fuzzy affinity-aware scheduler. Proc. of the International Conference on Cloud and Autonomic Computing (ICCAC), 2015 . Pages 33-44. IEEE.
P.J. Morcillo and 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, G. Moreno, J. Penabad and C. 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 and 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.
M. Bofill, G. Moreno, C.Vázquez and 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 and 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).
P.J. Morcillo, G. Moreno, J. Penabad and 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 and 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).
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.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).
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-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). 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).
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. Julián-Iranzo. A procedure for the construction of a similarity relation. In Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2008), June 22-27, 2008, Málaga, Spain, pp. 8, Universidad de Málaga, 2008 (Accepted for publication). Available: (dvi/Postscript/pdf/bibtex).
P. J. Morcillo and 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 and 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 and 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 and 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 and 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 and 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.M. Abietar, Pedro J. Morcillo, G. Moreno, T. Simos and G. Maraoulis (2007). Designing a software tool for fuzzy logic programming. Proc. of AIP Conference Proceedings. Volume 963. Number 2, pages 1117-1120. AIP.
J.A. Guerrero and 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 and 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 and 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 and 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 and 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.
G. Moreno and 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 and 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 and 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 and 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 and 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.
P. Julián and C. Rubio. A WAM Implementation for Flexible Query Answering. In Proc. of the 10th IASTED International Conference on Artificial Intelligence and Soft Computing (ASC 2006), August 28-30, 2006, Palma de Mallorca, pp. 262-267, ACTA Press, 2006. Available: Accepted Manuscript (dvi/Postscript/pdf/bibtex).
P.Julián, G. Moreno and 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 and 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. Julián, G. Moreno and 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 and 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 and 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. Refined Definitional Trees and Prolog Implementation of Narrowing. Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2003, Valencia (España), Jun.12-13, pp. 117-129, 2003. Universidad Politécnica de Valencia. Available: dvi/Postscript/pdf / bibtex . Find here a zip file with the benchmark programs.
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 and 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.
G. Moreno, T. Rojo and 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 and 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 and 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.
P. Julián and C. Villamizar. Analysing Definitional Trees: Looking for Determinism. DIAB-03-12-2. pp. 18. Departamento de Informática, UCLM, Dec. 2003. (extended version of the FLOPS 2004 paper “Analysing Definitional Trees: Looking for Determinism“.). Available: dvi/Postscript/pdf / bibtex . Find here a zip file with the benchmark programs.
V. Valero, T. Rojo, G. Moreno. (1999) Estructuras de datos y de la información. UCLM.
E. Albert, M. Alpuente, M. Falaschi, P. Julián and G. Vidal. Improving Control in Functional Logic Program Specialization (extended version). II-DSIC-2/97. pp. 34. Departamento de Sistemas Informáticos y Computación, UPV, 1998.
M. Alpuente, M. Falaschi, P. Julián and G. Vidal. Call-by-Name Specialization of Functional Logic Programs. In Manuel M.T. Chakravarty, Yike Guo and Tetsuo Ida, editors, Proceedings of the JICSLP1996 Post-Conference Workshop on Multi-Paradigm Logic Programming, Bonn (Germany), Sept. 5-6, 1996. pp. 10. Forschungsbericht \#96-28 (research report). Fachbereich Informatik, Technische Universität Berlin, 1996.
P. Julián Iranzo. Una nueva Semántica Operacional para Programas Lógico Ecuacionales. II-DSIC-25/95. pp. 34. Departamento de Sistemas Informáticos y Computación, UPV.
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.

References: V. 
 V. 
 V. 
 V. 
 V. 

V.