Publications

ORCID records

Journals

2017

2015

  • 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 and 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 and 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
  • 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.
  • C. Rubio and P. Julián  (2015). Incorporation of abstraction capability in a logic-based framework by using proximity relations. Journal of Intelligent and Fuzzy Systems. Volume 29 (issue 4). Pages: 1671-1683  Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84946839248&partnerID=MN8TOARS
  • P. Julián and C. Rubio (2015). Proximity-based unification theory. Fuzzy Sets and Systems. Volume 262, pages 21-43. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84920821645&partnerID=MN8TOARS

2014

  • 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.
  • C. Rubio and P. Julián (2014). A Fuzzy linguistic prolog and its applications. Journal of Intelligent and Fuzzy Systems. Volume 26 (N. 3), pages 21-43. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84893967484&partnerID=MN8TOARS

2013

2012

  • P.J. Morcillo, G. Moreno, J. Penabad and 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 and C. Vázquez (2012). Dedekind-Macneille Completion and Cartesian Product of Multi-Adjoint Lattices. International Journal of Computer Mathematics, 28 May 2012,  Volume 89 (Issue 13-14) Pages 1742-1752. Taylor&Francis (London). ISSN 0020-7160 print/ISSN 1029-0265 online.  Available:  http://dx.doi.org/10.1080/00207160.2012.689826
  • 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.

2009

  • G. Moreno and 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 and 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   
  • P. Julián, C. Rubio and J. Gallardo (2009). Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. Electronic Notes in Theoretical Computer Science,   Volume 248, Pages 131-147. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-68049121987&partnerID=MN8TOARS
  • 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).

2008

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

2007

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

2006

  • P. Julián, G. Moreno and J . Penabad(2006). Operacional/Interpretive Unfolding of Multi-Adjoint Logic 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

2005

  • P. Julian, G. Moreno and 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

2004

  • M. Alpuente, M. Falaschi, G. Moreno and 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

2003

  • P. Julián. Especialización Automática de Programas y sus Aplicaciones.  Novática. (163) pp. 40-46. (May–Jun 2003). Available:  Abstract (in spanish — dvi/Postscript/pdf); ver también : http://www.ati.es/novatica/2003/163/nv163sum.html
  • 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.

2002

  • 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
  • P. Julián. On the Correctness of the Factoring Transformation.  Proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, Aizu-Wakamatsu, Japan, Sep. 15-17, 2002. Aizu University. Springer – Verlag LNCS 2241, pp. 119-133. 2002. Available: extended version with proofs  dvi/Postscript/pdf / bibtex
  •  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.

1999

  • M. Alpuente, M. Falaschi, C. Ferri, G. Moreno and 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

 

1997

  • M. Alpuente, M. Falaschi, P. Julián and G. Vidal. Specialization of Lazy Functional Logic Programs. ACM SIGPLAN Notices, Vol. 32(12) pp.151-162. The Association for Computing Machinery, New York, 1997.  Available: dvi/Postscript/pdf/bibtex

1993

  • G. Moreno, P. González and 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

2016

  • G. Moreno, J. Penabad and G. Vidal (2016). Tuning Fuzzy Logic Programs with Symbolic Execution. arXiv preprint arXiv:1608.04688.
  • P. Julián, G. Moreno, J. Penabad and c. Vazquez (2016). A declarative semantics for a fuzzy logic language managing similarities and truth degrees. 10th International Symposium on Rule Technologies, RuleML 2016; Stony Brook; United States; 6 July 2016 through 9 July 2016; Lecture Notes in Computer Science . Volume 9718. Pages 68-82. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84979018854&partnerID=MN8TOARS
  • 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).

2015

  • 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. 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 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-Iranzo, Ginés Moreno, J. Penabad and 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

2014

  • P. Julián, J. Medina and M. Ojeda (2014). Revisiting reductants in the multi-adjoint logic programming framework. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 8761, pages 694-702. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84921340729&partnerID=MN8TOARS
  • J.M. Almendros-Jiménez, A. Luna and 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 and 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 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.
  • J.M. Almendros-Jiménez, A. Luna and 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 qnd 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
  • P. Julián and C. Rubio (2014) Reasoning with words: A first approximation. IEEE International Conference on Fuzzy Systems. Pages 569-574. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84912570006&partnerID=MN8TOARS

2013

  • C. Rubio, P. Julián, E. Salazar and E. San Martín (2013). Declarative fuzzy linguistic queries on relational databases. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 8132 LNAI pages 413-424. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84884972847&partnerID=MN8TOARS
  • P. Julián and C. Rubio (2013). A proximity-based method for discovery of generalized knowledge and its incorporation to the bousi?prolog system. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 7903 LNCS, Part 2, pages 236-245. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84880071441&partnerID=MN8TOARS
  • C. Vázquez, L. Tomás, G. Moreno and J. Tordsson (2013). A fuzzy approach to cloud admission control for safe overbooking. 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 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 and 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 and C. 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). Available: http://dx.doi.org/10.14279/tuj.eceasst.64.990
  • 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).
  • G. Moreno, J. Penabad and 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 and 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. Available:  http://dx.doi.org/10.1007/978-3-642-38679-4_65

2012

  • J.M. Almendros-Jiménez, A. Luna and G. Moreno (2012). A XPath Debugger Based on Fuzzy Chance Degrees. OTM Workshops 2012,  Proc. 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 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).
  • 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.

2011

  • F. P. Romero, P. Julián, A. Soto, M. Ferreira and J. Gallardo (2011). A fuzzy declarative approach for classifying unlabeled short texts using thesauri. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 6857 LNAI, pages: 180-187 Available:  http://www.scopus.com/inward/record.url?eid=2-s2.0-80052767595&partnerID=MN8TOARS
  • P. Julián and C. Rubio (2011). A sound semantics for a similarity-based logic programming language. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 6692 LNCS, pages: 421-428 Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-79957935083&partnerID=MN8TOARS
  • 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

2010

  • P. Julián and C. Rubio (2010). A programming environment for Bousi~Prolog. Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. Volume 1, pages: 36-42 Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84866108707&partnerID=MN8TOARS
  • 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 and C. Rubio (2010). Bousi-prolog a fuzzy logic Programming language for modeling vague knowledge and approximate reasoning. ICFC 2010 ICNC 2010 – Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation. Pages 93-98. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-78651427854&partnerID=MN8TOARS
  • P. Julián and C. Rubio (2010). An efficient fuzzy unification method and its implementation into the Bousi~Prolog system. 2010 IEEE World Congress on Computational Intelligence, WCCI 2010. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-78549241943&partnerID=MN8TOARS
  • P. Julián and C. Rubio (2010). A programming environment for Bousi~Prolog. Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. Volume 1. Pages 36-42. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84866108707&partnerID=MN8TOARS

2009

  • P. Julián and C. Rubio (2009). A similarity-based wam for bousi~ prolog. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),   Volume 5517 LNCS, Part 1, Pages 245-252. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-68749118722&partnerID=MN8TOARS
  • 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 and 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 and 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 and 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. Julián and C. Rubio (2009). A declarative semantics for bousi-prolog. PPDP’09 – Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp. 149-160. Springer-Verlag. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-70450280617&partnerID=MN8TOARS

2008

  • 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.A. Guerrero and 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.entcs.2008.10.032

2007

  • 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.
  • P. Julián, G. Moreno and 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 and  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

2006

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

2005

  • G. Moreno and 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 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. Julian, G. Moreno and 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

2004

  • P. Julián and C. Villamizar. Analysing Definitional Trees: Looking for Determinism. Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, Nara (Japan), April, 7-9 2004. Springer – Verlag LNCS, pp. 55-69, 2004. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-35048871001&partnerID=MN8TOARS
  • S. González and 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: Online article
  • 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.

2003

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

2002

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

2001

  • Sergio Antoy, Pascual Julián Iranzo and Bart Massey. Improving the Efficiency of Non-Deterministic Computations. Proceedings of the 10th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, Sept. 13-15, 2001. pp. 17-30. Kiel University, 2001. Available:dvi/Postscript/pdf/bibtex

2000

  • M. Alpuente, M. Falaschi, G. Moreno and 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 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.

1999

  • M. Alpuente, M. Falaschi, G. Moreno and 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, C. Ferri, G. Moreno, G. Vidal,  and I. Ziliotto (1999). The Transformation System synth. Technical Report DSIC-II/16/99, UPV, 1999. Available in URL: http://www.users.dsic.upv.es/grupos/elp/papers.html

1998

  •  E. Albert, M. Alpuente, M. Falaschi, P. Julián and G. Vidal. Improving Control in Functional Logic Program Specialization. Proceedings of Static Analysis Symposium, SAS’98, Pisa (Italy), Sept. 14-18,1998. Springer – Verlag LNCS 1503, pp. 262-277. 1998. Available:dvi/Postscript/pdf/bibtex

1997

  • M. Alpuente, M. Falaschi, G. Moreno and 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 and 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
  • M. Alpuente, M. Falaschi, P. Julián and G. Vidal (1997). Specialization of lazy functional logic programs. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Pages 151-162. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-0030705867&partnerID=MN8TOARS

1994

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

1993

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

Others

2005

  • G. Moreno, V. Pascual. Designing Declarative Languages with Laziness and Fuzziness (15 pages). #DIAB-05-11-1. Departamento de Informática, UCLM, 2005. Available: PostScript

2004

  •  S. González, G. Moreno. Incremental Tupling with Simplification pre-Process. (18 pages). #DIAB-04-05-1. Departamento de Informática, UCLM, 2004. Available: PostScript
  • P. Julián, G. Moreno, J. Penabad. Unfolding Fuzzy Logic Programs. (27 pages). #DIAB-04-03-2. Departamento de Informática, UCLM, 2004. Available: PostScript
  •  S. González, G. Moreno. Combining Composition and Tupling for Optimizing Declarative Programs. (9 pages). #DIAB-04-03-1. Departamento de Informática, UCLM, 2004. Available: PostScript

2003

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

2002

  •  G. Moreno. A Safe Transformation System for Optimizing Functional Programs. (19 pages). #DIAB-02-07-27. Departamento de Informática, UCLM, 2002. Available: PostScript
  • G. Moreno. Automatic Tupling for Functional-Logic Programs. (25 pages). #DIAB-02-07-24. Departamento de Informática, UCLM, 2002. Available: PostScript

2000

  • P. Julián Iranzo. La Evaluación Parcial: qué es y para qué sirve.  II-DSIC-31/00. pp. 17. Departamento de Sistemas Informáticos y Computación, UPV, 2000. (extended version of the Novática paper “Especialización Automática de Programas y sus Aplicaciones”.) Available: (in spanish) dvi/Postscript/pdf/bibtex

1999

  • M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. Transformation-based Strategies for Lazy functional Logic Programs, (26 pages). #II-DSIC-23/99. Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia. 1999. Available: PostScript
  • M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, G. Vidal, I. Ziliotto. The Transformation System SYNTH, (16 pages). #II-DSIC-16/99. Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia. 1999. Available: interpreter)
  • M.  Alpuente, M. Falaschi, P. Julián and G. Vidal. Técnicas de Evaluación Parcial Perezosa en Programas Uniformes.  II-DSIC-18/99. pp. 65. Departamento de Sistemas Informáticos y Computación, UPV, 1999. Available: (in spanish) dvi/Postscript/pdf/bibtex
  • V. Valero, T. Rojo,  G. Moreno. (1999)  Estructuras de datos y de la información.   UCLM.

1998

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

1996

 

  • 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, G. Moreno . Nuevas Semánticas para Programas Lógico Ecuacionales: Teoría e Implementación.    II-DSIC-13/96. pp. 169. Departamento de Sistemas Informáticos y Computación, UPV.  Available: (A (basic) narrowing interpreter implemented using some ideas developed in this work. The interpreter is written in C — interpreter)

 

1995

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

1992

Universidad de Castilla-La Mancha|Dpto. de Sistemas Informáticos - Dpto. de Tecnología y Sistemas de la Información - Departamento de Matemáticas - Instituto de Investigación en Informática

wso shell IndoXploit shell webr00t shell hacklink hacklink satış wso shell