{"id":38,"date":"2017-06-20T06:03:42","date_gmt":"2017-06-20T06:03:42","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=38"},"modified":"2021-02-10T13:13:46","modified_gmt":"2021-02-10T13:13:46","slug":"publications","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<h5><strong>ORCID records<\/strong><\/h5>\n<p><a href=\"http:\/\/orcid.org\/0000-0002-6482-3220\" target=\"_blank\" rel=\"noopener\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-138\" src=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/idorcid.png\" alt=\"\" width=\"102\" height=\"102\" srcset=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/idorcid.png 102w, https:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/idorcid-100x100.png 100w\" sizes=\"auto, (max-width: 102px) 100vw, 102px\" \/><\/a><\/p>\n<hr \/>\n<p><span style=\"color: #800080;\"><b>Note that these 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.<\/b><\/span><\/p>\n<h5><strong>Journals<\/strong><\/h5>\n<h6><span style=\"color: #993366;\"><strong>2021<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo\u00a0and F. S\u00e1enz-P\u00e9rez (2021).\u00a0<\/em><strong>Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System.<\/strong> Theory and Practice of Logic Programming \u00a0pp.:1-17.<strong> Available:<\/strong>\u00a0\u00a0<a href=\"https:\/\/arxiv.org\/abs\/2101.09619\">https:\/\/arxiv.org\/abs\/2101.09619<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #993366;\"><strong>2020<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo\u00a0and F. S\u00e1enz-P\u00e9rez (2018).\u00a0<\/em><strong>Proximity-based Unification: an Efficient Implementation Method.<\/strong> IEEE Transactions on Fuzzy Systems.<strong> Available:<\/strong>\u00a0\u00a0<a href=\"https:\/\/doi.org\/10.1109\/TFUZZ.2020.2973129\">https:\/\/doi.org\/10.1109\/TFUZZ.2020.2973129<\/a><\/li>\n<li>Pascual Juli\u00e1n Iranzo, Gin\u00e9s Moreno, Jos\u00e9 Antonio Riaza\u00a0(2020).<br \/>\n<strong>The Fuzzy Logic Programming language FASILL: Design and implementation.<\/strong> Int. J. Approx. Reason. 125: 139-168.\u00a0<strong>Available:<\/strong>\u00a0\u00a0<a href=\"https:\/\/doi.org\/10.1016\/j.ijar.2020.06.002\">https:\/\/doi.org\/10.1016\/j.ijar.2020.06.002<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2018<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo\u00a0and F. S\u00e1enz-P\u00e9rez (2018).\u00a0<\/em><strong>A Fuzzy Datalog Deductive Database System.<\/strong> IEEE Transactions on Fuzzy Systems PP(99):1-1.<strong> Available:<\/strong>\u00a0\u00a0<a href=\"https:\/\/doi.org\/10.1109\/TFUZZ.2018.2806923\">https:\/\/doi.org\/10.1109\/TFUZZ.2018.2806923<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2017<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo,\u00a0Gin\u00e9s Moreno and\u00a0Jaime Penabad (2017).\u00a0<\/em><strong>Thresholded semantic framework for a fully integrated fuzzy logic language.<\/strong> J. Log. Algebr. Meth. Program. 93: 42-67. Elsevier BV.<strong> Available:<\/strong>\u00a0<a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2017.08.002\">https:\/\/doi.org\/10.1016\/j.jlamp.2017.08.002<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2017).\u00a0<\/em><strong>A sound and complete semantics for a similarity-based logic programming language.<\/strong> Fuzzy Sets and Systems. Elsevier BV.<strong> Available:<\/strong> <a href=\"https:\/\/doi.org\/10.1016%2Fj.fss.2016.12.016\" target=\"_blank\" rel=\"noopener noreferrer\">https:\/\/doi.org\/10.1016%2Fj.fss.2016.12.016 <\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, J. Medina and M. Ojeda (2017). <\/em><strong>On reductants in the framework of multi-adjoint logic programming.<\/strong> Fuzzy Sets and Systems. Elsevier BV.<strong> Available: <\/strong><a href=\"https:\/\/doi.org\/10.1016%2Fj.fss.2016.09.004\" target=\"_blank\" rel=\"noopener noreferrer\">https:\/\/doi.org\/10.1016%2Fj.fss.2016.09.004<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2015<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>C. Rubio and P. Juli\u00e1n-Iranzo (2015). <\/em><strong>Incorporation of abstraction capability in a logic-based framework by using proximity relations.<\/strong> Journal of Intelligent and Fuzzy Systems. Volume 29 (issue 4). Pages: 1671-1683\u00a0 <strong>Available:\u00a0<\/strong><a href=\"https:\/\/doi.org\/10.3233\/IFS-151645\">https:\/\/doi.org\/10.3233\/IFS-151645<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2015). <\/em><strong>Proximity-based unification theory.<\/strong> Fuzzy Sets and Systems. Volume 262, pages 21-43. <strong>Available:\u00a0<\/strong>\u00a0<a href=\"https:\/\/doi.org\/10.1016\/j.fss.2014.07.006\">https:\/\/doi.org\/10.1016\/j.fss.2014.07.006<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2014<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>C. Rubio and P. Juli\u00e1n-Iranzo (2014). <\/em><strong>A Fuzzy linguistic prolog and its applications.<\/strong> Journal of Intelligent and Fuzzy Systems. Volume 26 (N. 3), pages 21-43. <strong>Available:\u00a0<\/strong><a href=\"https:\/\/doi.org\/10.3233\/IFS-130834\">https:\/\/doi.org\/10.3233\/IFS-130834<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2013<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>F.P. Romero, P. Juli\u00e1n-Iranzo, A. Soto, M. Ferreira and J. Gallardo (2013). <\/em><strong>Classifying unlabeled short texts using a fuzzy declarative approach.<\/strong> Language Resources and Evaluation. Volume 47, N. 1, pages 151-178. <strong>Available:\u00a0<\/strong><a href=\"https:\/\/doi.org\/10.1007\/s10579-012-9203-2\">https:\/\/doi.org\/10.1007\/s10579-012-9203-2<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2009<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad (2009). <\/em><strong>An Improved Reductant Calculus using Fuzzy Partial Evaluation Techniques. <\/strong>Fuzzy Sets and Systems,\u00a0\u00a0 Volume 160, Issue 2, 16 January 2009, Pages 162-181. Elsevier Science ( Amsterdam ). <strong>Available: <\/strong><a href=\"http:\/\/dx.doi.org\/10.1016\/j.fss.2008.05.006\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/dx.doi.org\/10.1016\/j.fss.2008.05.006\u00a0\u00a0\u00a0<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, C. Rubio and J. Gallardo (2009). <\/em><strong>Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. <\/strong>Electronic Notes in Theoretical Computer Science,\u00a0\u00a0 Volume 248, Pages 131-147. Elsevier Science (Amsterdam).\u00a0<strong>Available: \u00a0<\/strong><a href=\"https:\/\/doi.org\/10.1016\/j.entcs.2009.07.064\">https:\/\/doi.org\/10.1016\/j.entcs.2009.07.064<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, J. Medina, G. Moreno and M. Ojeda-Aciego (2009). <\/em><strong>Thresholded tabulation in a fuzzy logic setting. <\/strong>Electronic Notes in Theoretical Computer Science,\u00a0\u00a0 Volume 248, Pages 115-130. Elsevier Science (Amsterdam). <strong>Available: <\/strong>\u00a0\u00a0<a href=\"https:\/\/doi.org\/10.1016\/j.entcs.2009.07.063\">https:\/\/doi.org\/10.1016\/j.entcs.2009.07.063<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2007<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, <\/em><em>G. Moreno and J. Penabad (2007). <\/em><strong><span xml:lang=\"EN-GB\">Efficient Reductants<\/span> Calculi by Using Partial Evaluation Techniques with Thresholding<\/strong><em><span xml:lang=\"EN-GB\">.\u00a0<\/span><\/em>Electronic Notes in Theoretical Computer Science. Volume 188, pages 77-90. Elsevier. <strong>Available:<\/strong>\u00a0\u00a0<a href=\"https:\/\/doi.org\/10.1016\/j.entcs.2007.05.039\">https:\/\/doi.org\/10.1016\/j.entcs.2007.05.039<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2006<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad(2006<\/em>). <strong>Operacional<\/strong><strong>\/Interpretive Unfolding of Multi-Adjoint Logic Programs<\/strong>. Journal of Universal Computer Science. Vol: 12, N\u00ba 11, pp. 1679-1699.\u00a0\u00a0 Graz ( Austria ). ISSN: 0948-69X, Online Edition: ISSN 0948-6968. <strong>Available:<\/strong>\u00a0(<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/JUCS06\/jucs06.dvi\">dvi<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/JUCS06\/jucs06.ps\">Postscript<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/JUCS06\/jucs06.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/JUCS06\/jucs06Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a><a href=\"http:\/\/www.inf-cr.uclm.es\/home\/pjulian\/homePage\/publications\/WFLP02\/wflp02Bibtex\">).<\/a>\u00a0<strong>Also available at:<\/strong>\u00a0<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/PROLE05\/prole05.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/dx.doi.org\/10.3217\/jucs-012-11-1679<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2005<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad. (2005). <\/em><strong>On Fuzzy Unfolding: A Multi-adjoint Approach. <\/strong>Fuzzy Sets and Systems, Vol. 154, Pages\u00a0 16-33. Elsevier Science . <strong>Available:<\/strong>\u00a0 <a id=\"ddDoi\" href=\"http:\/\/dx.doi.org\/10.1016\/j.fss.2005.03.013\" target=\"doilink\">http:\/\/dx.doi.org\/10.1016\/j.fss.2005.03.013<\/a><\/li>\n<li>\n<p class=\"workspace-title\"><span class=\"ng-binding\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad. (2005). \u00a0<\/em><strong>Unfolding-based improvements on fuzzy logic programs<\/strong>.\u00a0<\/span><span class=\"journaltitle ng-binding ng-scope\">Electronic Notes in Theoretical Computer Science. \u00a0<a title=\"Go to table of contents for this volume\/issue\" href=\"https:\/\/www.sciencedirect.com\/science\/journal\/15710661\/137\/1\">Volume 137, Issue 1<\/a>, Pages 69-103.\u00a0Elsevier Science . <strong>Available:<\/strong>\u00a0\u00a0<a href=\"https:\/\/doi.org\/10.1016\/j.entcs.2005.01.040\">https:\/\/doi.org\/10.1016\/j.entcs.2005.01.040<\/a><\/span><\/p>\n<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2004<\/strong><\/span><\/h6>\n<ul>\n<li><i>P. <em>Juli\u00e1n-Iranzo and\u00a0Ch. Villamizar-Lamus\u00a0(2004)<\/em>. <\/i><strong>Analysing Definitional Trees: Looking for Determinism.<\/strong>\u00a0\u00a0Lecture Notes in Computer Science 2998, Pages 55-69. \u00a0Springer. \u00a0<b>Available:<\/b>\u00a0 \u00a0(<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04.dvi\">dvi<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04.ps\">Postscript<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04.pdf\">pdf<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04Bibtex\">bibtex<\/a>\u00a0) \u00a0EID: 2-s2.0-35048871001<span style=\"font-size: 1rem;\">\u00a0<\/span><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2003<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo (2003)<\/em>. <\/i><strong>Especializaci\u00f3n Autom\u00e1tica de Programas y sus Aplicaciones.<\/strong>\u00a0<\/span> Nov\u00e1tica. (163) pp. 40-46. (May&#8211;Jun 2003). <b>Available:<\/b>\u00a0 \u00a0<a href=\"http:\/\/www.ati.es\/novatica\/2003\/163\/nv163sum.html\">http:\/\/www.ati.es\/novatica\/2003\/163\/nv163sum.html<\/a><\/li>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo(2003)<\/em>. <\/i><strong>Partial Evaluation of Lazy Functional Logic Programs.\u00a0<\/strong><\/span> AI Comunications. (16)1. Volume 16, number 2, pages 121-123. <b>Available: <\/b>Abstract (<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/AIcom03\/aiComAbstract.dvi\">dvi<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/AIcom03\/aiComAbstract.ps\">Postscript<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/AIcom03\/aiComAbstract.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>). \u00a0<span class=\"type ng-scope\">EID<\/span>: 2-s2.0-0038679359<\/li>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>M. Alpuente, Moreno Falaschi, Pascual <em>Juli\u00e1n-Iranzo<\/em> and Germ\u00e1n Vidal (2003). <\/i><strong>Uniform Lazy Narrowing.<\/strong><strong>\u00a0<\/strong><\/span> Journal of Logic and Computation. (16)2: 287-312. You can find <a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/jlcExpBench\/index.html\" target=\"_blank\" rel=\"noopener noreferrer\">here<\/a> some experiments and benchmark programs.\u00a0<b>Available: <\/b><strong>\u00a0\u00a0<\/strong><a href=\"https:\/\/doi.org\/10.1093\/logcom\/13.2.287\">https:\/\/doi.org\/10.1093\/logcom\/13.2.287<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2002<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo (2002)<\/em>. <\/i><strong>On the Correctness of the Factoring Transformation.\u00a0<\/strong><\/span> Proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, Aizu-Wakamatsu, Japan, Sep. 15-17, 2002. Aizu University. Springer &#8211; Verlag LNCS 2241, pp. 119-133. <b>Available: (<\/b>extended version with proofs\u00a0 <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS02\/flops02_ExtVer.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS02\/flops02_ExtVer.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS02\/flops02_ExtVer.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a> \/ <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS02\/flops02Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a><b>)<\/b>\u00a0<a href=\"https:\/\/doi.org\/10.1007\/3-540-45788-7\">https:\/\/doi.org\/10.1007\/3-540-45788-7<\/a><\/li>\n<li style=\"text-align: justify;\"><em>S. Antoy, P. Juli\u00e1n-Iranzo and B. Massey (2002).<\/em> <strong><span style=\"color: #000000;\">Improving the Efficiency of Non-Deterministic Computations. <\/span><\/strong>Electronic Notes in Computer Science, Vol.64 . Pages 77-98. Elsevier Science. (Extended version of a previous paper in WFLP 2001) <b>Available:<\/b> <a href=\"https:\/\/doi.org\/10.1016\/S1571-0661(04)80347-5\">https:\/\/doi.org\/10.1016\/S1571-0661(04)80347-5<\/a>\u00a0\u00a0<a href=\"http:\/\/www.elsevier.nl\/locate\/entcs\/volume64.html\" target=\"_blank\" rel=\"noopener noreferrer\">(<\/a><a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/ENTCS02\/entcs02.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/ENTCS02\/entcs02.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/ENTCS02\/entcs02.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/ENTCS02\/entcs02Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex)<\/a>. Also, you can find <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/ENTCS02\/entcs02Experiments.zip\">here<\/a> some benchmark programs used in the experiments.<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1997<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\">M. Alpuente, M. Falaschi, P. <em>Juli\u00e1n-Iranzo<\/em> and G. Vidal (1997). <span style=\"color: #000000;\"><strong>Specialization of Lazy Functional Logic Programs. <\/strong><\/span>ACM SIGPLAN Notices, Vol. 32(12) pp.151-162. The Association for Computing Machinery, New York, 1997.\u00a0 <b>Available:<\/b>\u00a0 \u00a0(<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PEPM97\/pepm97.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PEPM97\/pepm97.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PEPM97\/pepm97.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PEPM97\/pepm97Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a>) \u00a0<span class=\"type ng-scope\">EID<\/span>: 2-s2.0-0346675716<\/li>\n<\/ul>\n<hr \/>\n<hr \/>\n<h5><strong>BOOK Chapters and Conference papers<\/strong><\/h5>\n<h6><span style=\"color: #993366;\"><strong>2020<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo and\u00a0F. S\u00e1enz-P\u00e9rez (2020).<br \/>\n<\/em><strong>A System implementing Fuzzy Hypothetical Datalog<\/strong>. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), Pages 1-8.\u00a0<strong>Available: \u00a0<\/strong><a href=\"https:\/\/doi.org\/10.1109\/FUZZ48607.2020.9177715\">https:\/\/doi.org\/10.1109\/FUZZ48607.2020.9177715<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2019<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo and\u00a0F. S\u00e1enz-P\u00e9rez (2019).<br \/>\n<\/em><strong>WordNet and Prolog: why not?<\/strong>. \u00a0Proc. of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), Pages 1-8. \u00a0Atlantis Press.\u00a0<strong>Available: \u00a0<\/strong><a href=\"https:\/\/doi.org\/10.2991\/eusflat-19.2019.113\">https:\/\/doi.org\/10.2991\/eusflat-19.2019.113<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2018<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo and\u00a0F. S\u00e1enz-P\u00e9rez (2018).<br \/>\n<\/em><strong>An Efficient Proximity-based Unification Algorithm<\/strong>. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018), Pages 1-8. <strong>Available: \u00a0<\/strong><a href=\"https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2018.8491593\">https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2018.8491593<\/a><\/li>\n<li><em><span class=\"this-person\">P. Juli\u00e1n Iranzo<\/span>, G. Moreno, J. Penabad (2018).<br \/>\n<\/em><strong>FASILL: Fuzzy Correct Answers and Soundness<\/strong>. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018), Pages 1-8. <strong>Available: \u00a0<\/strong><a href=\"https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2018.8491504\">https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2018.8491504<\/a><span style=\"font-size: 0.9375rem; font-weight: 800;\">\u00a0<\/span><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2017<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo and\u00a0F. S\u00e1enz-P\u00e9rez (2016).<br \/>\n<\/em><strong>FuzzyDES or how DES Met Bousi-Prolog<\/strong>. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), Pages 1-6. <strong>Available:\u00a0<\/strong>\u00a0<a href=\"https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2017.8015580\">https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2017.8015580<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2016<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno, J. Penabad and c. Vazquez (2016). <\/em><strong>A declarative semantics for a fuzzy logic language managing similarities and truth degrees.<\/strong> 10th International Symposium on Rule Technologies, RuleML 2016; Stony Brook; United States; 6 July 2016\u00a0through\u00a09 July 2016; Lecture Notes in Computer Science . Volume 9718. Pages 68-82. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84979018854&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84979018854&amp;partnerID=MN8TOARS<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2015<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad (2015). <\/em><strong>A fuzzy logic programming environment for managing similarity and truth degrees<\/strong>. arXiv preprint arXiv:1501.02034.<\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and C. V\u00e1zquez (2015). <\/em><strong>Similarity-based Strict Equality in a Fully Integrated Fuzzy Logic Language.<\/strong> Proc. of the 9th International Web Rule Symposium, RuleML&#8217;15. Berlin, Germany, August 2-5. Lecture Notes in Computer Science 9202, pages 193-207. Springer International Publishing Switzerland.<strong> Available:<\/strong> http:\/\/dx.doi.org\/10.1007\/<span id=\"skype_c2c_container\" class=\"skype_c2c_container notranslate\" dir=\"ltr\" tabindex=\"-1\" data-isfreecall=\"false\" data-ismobile=\"false\" data-isrtl=\"false\" data-numbertocall=\"+349783319215426\" data-numbertype=\"paid\"><span class=\"skype_c2c_highlighting_inactive_common\" dir=\"ltr\"><span id=\"non_free_num_ui\" class=\"skype_c2c_textarea_span\"><span class=\"skype_c2c_text_span\">978-3-319-21542-6<\/span><\/span><\/span><\/span>_13<\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo,<\/em> <span class=\"this-person\">G<\/span><span class=\"this-person\">.<\/span><em><span class=\"this-person\"> Moreno<\/span>, J. Penabad and C. V\u00e1zquez (2015).<\/em> <span class=\"title\"><strong>A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees<\/strong>.<\/span> Electronic Proceedings in Theoretical Computer Science, EPTCS. Volume 173.\u00a0 pages 71-86<em>. <\/em>ISSN: 2075-2180. <strong>Available:<\/strong> <a title=\"http:\/\/dx.doi.org\/10.4204\/EPTCS.173.6\" href=\"http:\/\/dx.doi.org\/10.4204\/EPTCS.173.6\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/dx.doi.org\/10.4204\/EPTCS.173.6<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2014<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, J. Medina and M. Ojeda (2014). <\/em><strong>Revisiting reductants in the multi-adjoint logic programming framework.<\/strong> Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 8761, pages 694-702. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84921340729&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84921340729&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno, J. Penabad and C. V\u00e1zquez (2014).<\/em> <strong>A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees.<\/strong> Proc. of XIV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE&#8217;14, C\u00e1diz, Spain, September 17-19, pages 145-154. University of C\u00e1diz.<\/li>\n<li><em>P. Juli\u00e1n-Iranzo and C. Rubio (2014)<\/em> <strong>Reasoning with words: A first approximation.<\/strong> IEEE International Conference on Fuzzy Systems. Pages 569-574. <strong>Available:<\/strong> <a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84912570006&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84912570006&amp;partnerID=MN8TOARS<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2013<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>C. Rubio, P. Juli\u00e1n-Iranzo, E. Salazar and E. San Mart\u00edn (2013). <\/em><strong>Declarative fuzzy linguistic queries on relational databases.<\/strong> Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 8132 LNAI pages 413-424. <strong>Available:<\/strong> <a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84884972847&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84884972847&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2013). <\/em><strong>A proximity-based method for discovery of generalized knowledge and its incorporation to the bousi?prolog system.<\/strong> 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. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84880071441&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84880071441&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, J. Medina-Moreno, P.J. Morcillo, G. Moreno and M.Ojeda-Aciego (2013)<\/em>. <strong>An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation<\/strong>. In Advances in Computational Intelligence &#8211; 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. <strong>Available<\/strong>:\u00a0 <a title=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-38679-4_65\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-38679-4_65\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/dx.doi.org\/10.1007\/978-3-642-38679-4_65<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2012<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo and C. Rubio (2012). <strong>M\u00e9todo para el Descubrimiento de Conocimiento Abstracto basado en Proximidad y su Incorporaci\u00f3n al Sistema Bousi~Prolog<\/strong><\/em><strong>.\u00a0 <\/strong>XVI Congreso Espa\u00f1ol de Tecnolog\u00edas y L\u00f3gica Fuzzy (ESTYLF&#8217;2012). Universidad de Valladolid (ISBN: 978-84-615-6653-2).\u00a0\u00a0pages: 695-700<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2011<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>F. P. Romero, P. Juli\u00e1n-Iranzo, A. Soto, M. Ferreira and J. Gallardo (2011). <\/em><strong>A fuzzy declarative approach for classifying unlabeled short texts using thesauri. <\/strong>Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume\u00a06857 LNAI, pages:\u00a0180-187 <strong>Available:\u00a0 <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-80052767595&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-80052767595&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2011). <\/em><strong>A sound semantics for a similarity-based logic programming language.\u00a0<\/strong>Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 6692 LNCS, pages: 421-428 <strong>Available:<\/strong> <a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-79957935083&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-79957935083&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, J. Medina, P.J. Morcillo, G. Moreno, and M. Ojeda-Aciego (2011). <\/em><strong>A static preprocess for improving fuzzy thresholded tabulation<\/strong>. In Advances in Computational Intelligence &#8211; 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-M\u00e1laga, Spain, June 8-10, 2011, Proceedings, Part II, volume 6692 of Lecture Notes in Computer Science, pages 429-436. Springer Verlag. <strong>Available: <\/strong> <a href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-21498-1_54\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/dx.doi.org\/10.1007\/978-3-642-21498-1_54<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2010<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2010). <\/em><strong>A programming environment for Bousi~Prolog.<\/strong> Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. Volume 1, pages: 36-42 <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84866108707&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84866108707&amp;partnerID=MN8TOARS <\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, J. Medina, G. Moreno, and M. Ojeda (2010). <\/em><strong>Efficient thresholded tabulation for fuzzy query answering.<\/strong> Studies in Fuzziness and Soft Computing (Foundations of Reasoning under Uncertainty), 249:125-141. <strong>Available:<\/strong> <a href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-10728-3_7\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/dx.doi.org\/10.1007\/978-3-642-10728-3_7<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, J. Medina, G. Moreno, and M. Ojeda-Aciego (2010). <\/em><strong>Efficient thresholded tabulation for fuzzy query answering.<\/strong> Proc. of X Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE&#8217;10, Valencia, Spain, September 7-10 , page 147. Garceta grupo editorial, 2010 (in &#8220;published works&#8221; section). ISBN 978-84-92812- 55-4.<\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2010).<\/em> <strong>Bousi-prolog a fuzzy logic Programming language for modeling vague knowledge and approximate reasoning.<\/strong> ICFC 2010 ICNC 2010 &#8211; Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation. Pages 93-98. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-78651427854&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-78651427854&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2010).<\/em> <strong>An efficient fuzzy unification method and its implementation into the Bousi~Prolog system.<\/strong> 2010 IEEE World Congress on Computational Intelligence, WCCI 2010. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-78549241943&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-78549241943&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2010)<\/em>. <strong>A programming environment for Bousi~Prolog.<\/strong> Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. Volume 1. Pages 36-42. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84866108707&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-84866108707&amp;partnerID=MN8TOARS<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2009<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2009). <\/em><strong>A similarity-based wam for bousi~ prolog. <\/strong>Lecture Notes in Computer Science, Volume 5517 LNCS, Part 1, Pages 245-252. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-68749118722&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-68749118722&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad (2009). <\/em><strong>On the Declarative Semantics of Multi-Adjoint Logic Programs. <\/strong>Proc. of the 10th International Work-Conference on Artificial Neural Networks (IWANN2009, J. Cabestany et al. editors, Part I), Salamanca, Spain,\u00a0 June 10-12 . Lecture Notes in Computer Science, Volume 5517, pp. 254-261. Springer-Verlag. <strong>Available: <\/strong><a href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-02478-8_32\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/dx.doi.org\/10.1007\/978-3-642-02478-8_32<\/a><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2009). <\/em><strong>A declarative semantics for bousi-prolog.\u00a0<\/strong>PPDP&#8217;09 &#8211; Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp. 149-160. Springer-Verlag. <strong>Available: <\/strong><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-70450280617&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-70450280617&amp;partnerID=MN8TOARS<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2008<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo (2008). <\/em><strong>A procedure for the construction of a similarity relation.<\/strong> 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\u00e1laga, Spain, pp. 8, Universidad de M\u00e1laga, 2008 (Accepted for publication). <strong>Available:<\/strong> (<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/IPMU08\/ipmu08.dvi\">dvi<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/IPMU08\/ipmu08.ps\">Postscript<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/IPMU08\/ipmu08.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/IPMU08\/ipmu08Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a>).<\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo<\/em><em>, J. Medina, <span xml:lang=\"EN-GB\">G. M<\/span>oreno and M. Ojeda (2008). <\/em><strong>Tresholded<\/strong><strong> Tabulation in a Fuzzy Logic Setting.<\/strong> <em>Proc<\/em><em>. <\/em><em>of<\/em><em> VIII<\/em> Jornadas sobre Programaci\u00f3n y Lenguajes <em>(PROLE&#8217;08), <\/em><em>Gijon<\/em><em>, <\/em><em>Spain<\/em><em> .<\/em> <em>October<\/em><em> 7-10<\/em>. <em>pages 57-71. Fundaci\u00f3n Universidad de Oviedo, 2008. (ISBN 978-84-612-5819-2).<\/em><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo<\/em><em>, J. Medina, <span xml:lang=\"EN-GB\">G. M<\/span>oreno and M. Ojeda (2008). <\/em><strong>Combining tabulation and <\/strong><strong>thresholding<\/strong><strong> techniques for executing multi-<\/strong><strong>adjoint<\/strong><strong> logic programs.<\/strong> Proc. of the 12th International Conference on Information Processing and management of Uncertainty in Knoledge-based Systems (IPMU&#8217;08), M\u00e1laga, Spain . June 22-27. Pages 550-512. University of M\u00e1laga <em>(ISBN 978-84-612-3061-7).<\/em><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2007<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, <\/em><em><span xml:lang=\"EN-GB\">G. Moreno and <\/span><\/em><em>J. <\/em><em>Penabad<\/em><em> (2007). <\/em><strong>Measuring the Interpretive Cost in Fuzzy Logic Computations .<\/strong> <em>Proc. of the <\/em><em>International Workshop on Fuzzy Logic and Applications (WILF&#8217;07), <\/em><em>Genova<\/em><em> ,<\/em> <em>Italy<\/em><em> . July 7-10 . Lecture Notes in Artificial Intelligence (to appear) pp. 8. Springer- Verlag<\/em><em>. <\/em><\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, <\/em><em><span xml:lang=\"EN-GB\">G. Moreno and\u00a0<\/span><\/em><em> J. <\/em><em>Penabad<\/em><em> (2007). <\/em><strong>Cost Measures for Fuzzy Logic Computations <em>.<\/em><\/strong> Proc. of VII Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE&#8217;07), Zaragoza , Spain . September. 12-14 (to appear). 10 pages. University of Zaragoza.<\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad (2007). <\/em><strong>Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding<\/strong>. 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,<a href=\"http:\/\/ac.els-cdn.com\/S1571066107004811\/1-s2.0-S1571066107004811-main.pdf?_tid=0db0bfbe-46a3-11e7-b384-00000aab0f6c&amp;acdnat=1496305358_71258fc02f84407a26835cc0e05b82b5\" target=\"_blank\" rel=\"noopener noreferrer\"> doi:10.1016\/j.entcs.2007.05.039<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2006<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, <\/em><em>G. Moreno and J. Penabad (2006). <\/em><strong>Evaluaci\u00f3n Parcial de Programas L\u00f3gicos Multi-adjuntos y Aplicaciones. <\/strong>Proc. of Campus Multidisciplinar en Percepci\u00f3n e Inteligencia, CMPI\u20192006. Albacete (Spain), July, 10-14. pp. 712-724. <span xml:lang=\"EN-GB\">University of Castilla<\/span>-La Mancha. ISBN 84-689-9560-6.<\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo, <\/em><em>G. Moreno and J. Penabad (2006). <\/em><strong><span xml:lang=\"EN-GB\">Efficient Reductants<\/span> Calculi by Using Partial Evaluation Techniques with Thresholding<\/strong><em><span xml:lang=\"EN-GB\">. \u00a0<\/span><\/em><span xml:lang=\"EN-GB\">Proc<\/span>. of <span xml:lang=\"EN-GB\">VI <\/span>\u00a0Jornadas<span xml:lang=\"EN-GB\">\u00a0 sobre Programaci\u00f3n y Lenguajes (PROLE&#8217;06) Sitges<\/span> , Spain . October. 21-27. \u00a0 pp. 275-289<span xml:lang=\"EN-GB\">. <\/span>Technical University of Catalonia . ISBN 84-95999-84-6.<\/li>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo and C. Rubio (2006). <\/em><strong>A WAM Implementation for Flexible Query Answering<\/strong><strong>.<\/strong>\u00a0 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. <strong>Available:<\/strong> Accepted Manuscript (<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/ASC06\/asc06.dvi\">dvi<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/ASC06\/asc06.ps\">Postscript<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/ASC06\/asc06.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/ASC06\/asc06Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a><a href=\"http:\/\/www.inf-cr.uclm.es\/home\/pjulian\/homePage\/publications\/ENTCS02\/entcs02Bibtex\">)<\/a>.<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2005<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em><span xml:lang=\"EN-GB\">P.Juli\u00e1n-Iranzo<\/span><\/em><em>, <span xml:lang=\"EN-GB\">G. Moreno and <\/span><\/em><em>J. Penabad (2005).\u00a0<\/em><strong><span xml:lang=\"EN-GB\">Operational\/Interpretive Unfolding of Multi-adjoint<\/span> Logic Programs.<\/strong><span xml:lang=\"EN-GB\"> Proc<\/span>. of\u00a0 <a href=\"http:\/\/gpd.sip.ucm.es\/fraguas\/prole05.html\" target=\"_blank\" rel=\"noopener noreferrer\">V Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE&#8217;05) <\/a>Granada, Spain. September, 14-16. pp. 239-248. University of Granada.<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2004<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo<\/em> and C. Villamizar (2004). <\/i><strong>Analysing Definitional Trees: Looking for Determinism.<\/strong><\/span> Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, Nara (Japan), April, 7-9 2004. Springer &#8211; Verlag LNCS 2998, pp. 55-69. <b>Available:\u00a0<\/b>(<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04.dvi\">dvi<\/a>\/\u00a0<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04.ps\">Postscript<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04.pdf\">pdf<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04_CR\/flops04Bibtex\">bibtex<\/a>)\u00a0<b>\u00a0<\/b><a href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-35048871001&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-35048871001&amp;partnerID=MN8TOARS<\/a><\/li>\n<li style=\"text-align: justify;\"><span lang=\"ES-MODERN\"><em>P.Juli\u00e1n-Iranzo, G. Moreno and J. Penabad (2004)<\/em> <strong>Unfolding Fuzzy Logic Programs<\/strong>. Proceedings of the IEEE 4th International Conference on Intelligent Systems Design and Applications (ISDA&#8217;04), Budapest , Hungary . August 26-28, pp. 595-600. ISBN 963 7154 29 9.\u00a0<\/span><\/li>\n<li style=\"text-align: justify;\"><span lang=\"ES-MODERN\"><em>P. Juli\u00e1n-Iranzo, G. Moreno and J. Penabad (2004) <\/em><strong>Unfolding-based Improvements on Fuzzy Logic Programs.<\/strong> Proc. of IV Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE&#8217;04) M\u00e1laga, Spain. November, 11-12. pp. 241-254. University of M\u00e1laga.<\/span><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2003<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo (2003)<\/em>. <\/i><strong>Refined Definitional Trees and Prolog Implementation of Narrowing.<\/strong> <\/span>Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2003, Valencia (Espa\u00f1a), Jun.12-13, pp. 117-129, 2003. Universidad Polit\u00e9cnica de Valencia. <b>Available:\u00a0<\/b><a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP03\/wflp03.dvi\">dvi<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP03\/wflp03.ps\">Postscript<\/a>\/<a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP03\/wflp03.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a> \/ <a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP03\/wflp03Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a> . Find <a href=\"http:\/\/www.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP03\/BenchProg.zip\">here<\/a> a zip file with the benchmark programs.<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2002<\/strong><\/span><\/h6>\n<ul>\n<li><em>M.<\/em><em> Alpuente, M. Falaschi, P. Juli\u00e1n-Iranzo and G. Vidal <i>(2002)<\/i>.<\/em> <strong>Lazy Narrowing and Needed Narrowing: A Comparison<\/strong>. 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. <b>Available:\u00a0\u00a0 <\/b><a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP02\/wflp02.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP02\/wflp02.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP02\/wflp02.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a> \/ <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP02\/wflp02Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a> .<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2001<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>S. Antoy, P. Juli\u00e1n-Iranzo\u00a0and B. Massey (2001).<\/em> <span style=\"color: #993300;\"><strong><span style=\"color: #000000;\">Improving the Efficiency of Non-Deterministic Computations.<\/span><\/strong><\/span> 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. <b>Available:<\/b>\u00a0<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP01\/wflp01.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP01\/wflp01.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP01\/wflp01.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/WFLP01\/wflp01Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex.<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1998<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>\u00a0E. Albert, M. Alpuente, M. Falaschi, P. Juli\u00e1n-Iranzo and G. Vidal (1998).<\/em> <span style=\"color: #000000;\"><strong>Improving Control in Functional Logic Program Specialization.<i> <\/i><\/strong><\/span>Proceedings of Static Analysis Symposium, SAS&#8217;98, Pisa (Italy), Sept. 14-18,1998. Springer &#8211; Verlag LNCS 1503, pp. 262-277. 1998. <b>Available:<\/b>\u00a0<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a><\/li>\n<li><em>E. Albert, M. Alpuente, M. Falaschi, P. Juli\u00e1n-Iranzo and G. Vidal (1998).<\/em>\u00a0\u00a0<strong>Polygenetic Partial Evaluation of Lazy Functional Logic Programs.<i> <\/i><\/strong>Proceedings of APPIA-GULP-PRODE 1998, pp. 262-277. <b>Available:<\/b>\u00a0<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/SAS98\/sas98Bibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1997<\/strong><\/span><\/h6>\n<ul>\n<li><em>M. Alpuente<\/em><em>, <\/em><em>M. Falaschi<\/em><em>, <\/em><em>P. Juli\u00e1n-Iranzo and<\/em> <em>G. Vidal <\/em><em>(1997). <\/em><strong>Specialization of lazy functional logic programs. <\/strong>Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Pages 151-162.<strong> Available: <\/strong><a class=\"ng-binding\" href=\"http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-0030705867&amp;partnerID=MN8TOARS\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/www.scopus.com\/inward\/record.url?eid=2-s2.0-0030705867&amp;partnerID=MN8TOARS<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1996<\/strong><\/span><\/h6>\n<ul>\n<li><i>M. Alpuente, M. Falaschi, P. <em>Juli\u00e1n-Iranzo<\/em> and G. Vidal (1996). <\/i><strong>Call-by-Name Specialization of Functional Logic Programs.<\/strong>\u00a0 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\u00e4t Berlin, 1996.<\/li>\n<\/ul>\n<hr \/>\n<hr \/>\n<h5>PhD Thesis<\/h5>\n<h6><span style=\"color: #800080;\"><strong>2000<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\">Especializaci\u00f3n de Programas L\u00f3gico-Funcionales Perezosos pp. 272. Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, UPV, May 5, 2000. Advisor: Maria Alpuente. <b>Available: <\/b>(in spanish) <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PhDT\/phDTJul00.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PhDT\/phDTJul00.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PhDT\/phDTJul00.pdf\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/PhDT\/Jul00phDTBibtex\">bibtex<\/a>.<\/li>\n<\/ul>\n<hr \/>\n<hr \/>\n<h5><strong>Edited books<\/strong><\/h5>\n<h6><span style=\"color: #800080;\"><strong>2007<\/strong><\/span><\/h6>\n<ul>\n<li>\n<div class=\"page\" title=\"Page 3\">\n<div class=\"section\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>Pascual <em>Juli\u00e1n-Iranzo<\/em>\u00a0y M. Alpuente Frasnedo (2007). \u00a0<strong>Programaci\u00f3n L\u00f3gica: Teor\u00eda y Pr\u00e1ctica<\/strong>. Pearson Educaci\u00f3n (Prentice Hall), \u00a0470 p\u00e1ginas, Madrid (ISBN:978-84-8322-368-0)<span style=\"font-size: 1rem;\">. <\/span><span class=\"light\" style=\"font-size: 1rem;\">Encuadernaci\u00f3n<\/span><span style=\"font-size: 1rem;\"> r\u00fastica.<\/span><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2004<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>Pascual Juli\u00e1n-Iranzo\u00a0(2004). <\/em><a href=\"http:\/\/www.ra-ma.es\/libros\/LOGICA-SIMBOLICA-PARA-INFORMATICOS\/134\/978-84-7897-619-5\" target=\"_blank\" rel=\"noopener\"><strong>L\u00f3gica Simb\u00f3lica para Inform\u00e1ticos<\/strong>.<\/a> 328 p\u00e1gs. RA-MA Editorial .\u00a0 ISBN: 978-84-7897-619-5. <span class=\"light\">Encuadernaci\u00f3n<\/span> r\u00fastica.<\/li>\n<\/ul>\n<hr \/>\n<hr \/>\n<h5><strong>TECHNICAL REPORTS<\/strong><\/h5>\n<h6><span style=\"color: #800080;\"><strong>2017<\/strong><\/span><\/h6>\n<ul>\n<li><em>P. Juli\u00e1n-Iranzo and F. S\u00e1enz-P\u00e9rez (2017). <\/em><strong>A Fuzzy Datalog Deductive Database System<\/strong>. Informe t\u00e9cnico IT\/2017\/1, Pages 18. Department of Software Engineering and Artificial Intelligence. Facultad de Inform\u00e1tica, Universidad Complutense de Madrid, Madrid, Spain.<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2004<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><em>P. Juli\u00e1n-Iranzo,<\/em> <em>G. Moreno<\/em><em>, J. Penabad (2004). <\/em><strong>Unfolding Fuzzy Logic Programs. <\/strong>(27 pages). #DIAB-04-03-2. Departamento de Inform\u00e1tica, UCLM, 2004. <strong>Available:<\/strong> <a href=\"http:\/\/dectau.uclm.es\/gmoreno\/sites\/default\/files\/informesTecnicos\/DIAB-04-03-2.zip\">PostScript<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2003<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo<\/em> and C. Villamizar (2003).<\/i><strong> Analysing Definitional Trees: Looking for Determinism<\/strong>.<\/span>\u00a0 DIAB-03-12-2. pp. 18. Departamento de Inform\u00e1tica, UCLM, Dec. 2003. (extended version of the FLOPS 2004 paper &#8220;<span style=\"color: #993300;\"><i><span style=\"color: #000000;\">Analysing Definitional Trees: Looking for Determinism<\/span><\/i><\/span>&#8220;.). <b>Available:\u00a0\u00a0 <\/b><a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04\/flops04ExtVersion.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04\/flops04ExtVersion.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04\/flops04ExtVersion.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a> \/ <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04\/flops04bibTR.tex\">bibtex<\/a> . Find <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/FLOPS04\/BenchProg.zip\">here<\/a> a zip file with the benchmark programs.<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>2000<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo (2000)<\/em>. <\/i><strong>La Evaluaci\u00f3n Parcial: qu\u00e9 es y para qu\u00e9 sirve.<\/strong><\/span><strong>\u00a0<\/strong> II-DSIC-31\/00. pp. 17. Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, UPV, 2000. (extended version of the Nov\u00e1tica paper &#8220;Especializaci\u00f3n Autom\u00e1tica de Programas y sus Aplicaciones&#8221;.) <b>Available:<\/b> (in spanish) <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/Novatica\/nov00tr.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/Novatica\/nov00tr.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/Novatica\/nov00tr.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/Novatica\/nov00trBibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1999<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>M.\u00a0 Alpuente, M. Falaschi, P. <em>Juli\u00e1n-Iranzo<\/em> and G. Vidal (1999). <\/i><strong>T\u00e9cnicas de Evaluaci\u00f3n Parcial Perezosa en Programas Uniformes.<\/strong>\u00a0<\/span> II-DSIC-18\/99. pp. 65. Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, UPV, 1999. <b>Available: <\/b>(in spanish) <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/AFJV99tr\/AFJV99tr.dvi\">dvi<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/AFJV99tr\/AFJV99tr.ps\">Postscript<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/AFJV99tr\/AFJV99tr.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>\/<a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/AFJV99tr\/AFJV99trBibtex\" target=\"_blank\" rel=\"noopener noreferrer\">bibtex<\/a><\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1998<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>E. Albert, M. Alpuente, M. Falaschi, P. <em>Juli\u00e1n-Iranzo<\/em> and G. Vidal (1998). \u00a0<\/i><strong>Improving Control in Functional Logic Program Specialization<\/strong><\/span> (extended version). II-DSIC-2\/97. pp. 34. Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, UPV, 1998.<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1996<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo<\/em>, G. Moreno (1996).\u00a0<\/i><strong>Nuevas Sem\u00e1nticas para Programas L\u00f3gico Ecuacionales: Teor\u00eda e Implementaci\u00f3n.<\/strong><\/span> \u00a0\u00a0 II-DSIC-13\/96. pp. 169. Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, UPV.\u00a0 <b>Available:<\/b> (A (basic) narrowing interpreter implemented using some ideas developed in this work. The interpreter is written in C &#8212; <a href=\"http:\/\/titan.inf-cr.uclm.es\/www\/pjulian\/publications\/JM96\/ple.tar.gz\">interpreter<\/a>)<\/li>\n<\/ul>\n<h6><span style=\"color: #800080;\"><strong>1995<\/strong><\/span><\/h6>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"color: #000000;\"><i>P. <em>Juli\u00e1n-Iranzo (1995)<\/em>. <\/i><strong>Una nueva Sem\u00e1ntica Operacional para Programas L\u00f3gico Ecuacionales.<\/strong><\/span><strong>\u00a0<\/strong> II-DSIC-25\/95. pp. 34. Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, UPV<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>ORCID records Note that these 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. Journals 2021 P. Juli\u00e1n-Iranzo\u00a0and F. S\u00e1enz-P\u00e9rez (2021).\u00a0Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. Theory and &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/publications\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Publications&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-38","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/38","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/comments?post=38"}],"version-history":[{"count":34,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/38\/revisions"}],"predecessor-version":[{"id":413,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/38\/revisions\/413"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=38"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}