Publications

Ph D Thesis

Especialización de Programas Lógico-Funcionales Perezosos. pp. 272. Departamento de Sistemas Informáticos y Computación, UPV, May 5, 2000. Advisor: Maria Alpuente. Available: (in spanish) dvi/Postscript/pdf/bibtex.

Selected Papers

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

Fuzzy Unification and Logic Programming
- A procedure for the construction of a similarity relation. P. Julián-Iranzo. 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).
- A WAM Implementation for Flexible Query Answering. P. Julián-Iranzo and C. Rubio-Manzano. 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 ).

Multi-adjoint Logic Programming and Program transformation
- An Improved Reductant Calculus using Fuzzy Partial Evaluation Technique. P. Julián and G. Moreno and J. Penabad. submitted for publication to Journal of Logic and Computation. pp. 1-34. Fuzzy Sets and Systems, Elsevier, 2008 (Accepted for publication. doi:10.1016/j.fss.2008.05.006). Available: Accepted Manuscript (dvi/Postscript/pdf).
- Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. P. Julián and G. Moreno and J. Penabad. Electronic Notes in Theoretical Computer Science 188(15), pp. 77-90, 2007. Available: (dvi/Postscript/pdf /bibtex).
- Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. P. Julián and G. Moreno and J. Penabad. Journal of Universal Computer Science 12(11). pp. 1679-1699, 2006. Available: Accepted Manuscript (dvi/Postscript/pdf/bibtex ).
- On fuzzy unfolding: A multi-adjoint approach. Pascual Julián & Ginés Moreno & Jaime Penabad. Fuzzy Sets and Systems. (154) 16-33, 2005. Available: /pdf / bibtex .
Functional-Logic Programming and Program transformation

Analysing Definitional Trees: Looking for Determinism. Pascual Julián and Christian Villamizar. 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: dvi/Postscript/pdf / bibtex .
Refined Definitional Trees and Prolog Implementation of Narrowing. Pascual Julián. 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.
Especialización Automática de Programas y sus Aplicaciones. Pascual Julián Iranzo. 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
Partial Evaluation of Lazy Functional Logic Programs. Pascual Julián. AI Comunications. (16)1. pp. 3. Available: Abstract (dvi/Postscript/pdf).
Uniform Lazy Narrowing. Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. Journal of Logic and Computation. (16)2: 287-312, 2003.Available: Abstract (dvi/Postscript/pdf). Also, you can find here some experiments and benchmark programs.
On the Correctness of the Factoring Transformation. Pascual Julián. 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 .
Lazy Narrowing and Needed Narrowing: A Comparison. Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. 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 .
Improving the Efficiency of Non-Deterministic Computations. Sergio Antoy, Pascual Julián Iranzo and Bart Massey. Electronic Notes in Computer Science, Vol.64 (http://www.elsevier.nl/locate/entcs/volume64.html). pp 22. 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.
Improving the Efficiency of Non-Deterministic Computations. Sergio Antoy, Pascual Julián Iranzo and Bart Massey. 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
Improving Control in Functional Logic Program Specialization. Elvira Albert, Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. 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
Specialization of Lazy Functional Logic Programs. Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. ACM SIGPLAN Notices, Vol. 32(12) pp.151-162. The Association for Computing Machinery, New York, 1997. Available: dvi/Postscript/pdf/bibtex

Technical Reports
- Analysing Definitional Trees: Looking for Determinism. Pascual Julián and Christian Villamizar. 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.
- La Evaluación Parcial: qué es y para qué sirve. Pascual Julián Iranzo. 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
- Técnicas de Evaluación Parcial Perezosa en Programas Uniformes. Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. II-DSIC-18/99. pp. 65. Departamento de Sistemas Informáticos y Computación, UPV, 1999. Available: (in spanish) dvi/Postscript/pdf/bibtex
- Improving Control in Functional Logic Program Specialization (extended version). Elvira Albert, Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. II-DSIC-2/97. pp. 34. Departamento de Sistemas Informáticos y Computación, UPV, 1998. Available: dvi/Postscript/pdf/bibtex
- Call-by-Name Specialization of Functional Logic Programs. Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal. 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.
- Nuevas Semánticas para Programas Lógico Ecuacionales: Teoría e Implementación. Pascual Julián Iranzo, Ginés Moreno Valverde. 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)
- Una nueva Semántica Operacional para Programas Lógico Ecuacionales. Pascual Julián Iranzo. II-DSIC-25/95. pp. 34. Departamento de Sistemas Informáticos y Computación, UPV.