Call-By Name Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1996)

Specialization of Lazy Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (PEPM, 1997)

Polygenetic Partial Evaluation of Lazy Functional Logic Programs. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1998)

Improving Control in Functional Logic Program Specialization. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (SAS, 1998)

Improving the Efficiency of Non-Deterministic Computations. - Sergio Antoy; Pascual Julián Iranzo; Bart Massey (WFLP, 2001)

On the Correctness of the Factoring Transformation. - Pascual Julián Iranzo (FLOPS, 2002)

Thesis: Partial evaluation of lazy functional logic programs. - Pascual Julián Iranzo (AI Commun., 2003)

Uniform Lazy Narrowing. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (J. Log. Comput., 2003)

Analysing Definitional Trees: Looking for Determinism. - Pascual Julián Iranzo; Christian Villamizar Lamus (FLOPS, 2004)

Unfolding-based Improvements on Fuzzy Logic Programs. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (PROLE, 2004)

On fuzzy unfolding: A multi-adjoint approach. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (Fuzzy Sets Syst., 2005)

A WAM implementation for flexible query answering. - Pascual Julián Iranzo; Clemente Rubio-Manzano (Artificial Intelligence and Soft Computing, 2006)

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. - Pascual Julián; Ginés Moreno; Jaime Penabad (PROLE, 2006)

Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. - Pascual Julián; Ginés Moreno; Jaime Penabad (J. Univers. Comput. Sci., 2006)

Measuring the Interpretive Cost in Fuzzy Logic Computations. - Pascual Julián; Ginés Moreno; Jaime Penabad (WILF, 2007)

Thresholded Tabulation in a Fuzzy Logic Setting. - Pascual Julián Iranzo; Jesús Medina 001; Ginés Moreno; Manuel Ojeda-Aciego (PROLE, 2008)

Bousi Prolog: a Prolog Extension Language for Flexible Query Answering. - Pascual Julián Iranzo; Clemente Rubio-Manzano; Juan Gallardo-Casero (PROLE, 2008)

A Similarity-Based WAM for Bousi Prolog. - Pascual Julián Iranzo; Clemente Rubio-Manzano (IWANN (1), 2009)

On the Declarative Semantics of Multi-Adjoint Logic Programs. - Pascual Julián; Ginés Moreno; Jaime Penabad (IWANN (1), 2009)

A declarative semantics for Bousi Prolog. - Pascual Julián Iranzo; Clemente Rubio-Manzano (PPDP, 2009)

An improved reductant calculus using fuzzy partial evaluation techniques. - Pascual Julián; Ginés Moreno; Jaime Penabad (Fuzzy Sets Syst., 2009)

An efficient fuzzy unification method and its implementation into the Bousi Prolog system. - Pascual Julián Iranzo; Clemente Rubio-Manzano (FUZZ-IEEE, 2010)

A Programming Environment for Bousi-Prolog. - Pascual Julián Iranzo; Clemente Rubio-Manzano (IC-AI, 2010)

Bousi Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning. - Pascual Julián Iranzo; Clemente Rubio-Manzano (IJCCI (ICFC-ICNC), 2010)

A Sound Semantics for a Similarity-Based Logic Programming Language. - Pascual Julián Iranzo; Clemente Rubio-Manzano (IWANN (2), 2011)

A Static Preprocess for Improving Fuzzy Thresholded Tabulation. - Pascual Julián; Jesús Medina 001; Pedro J. Morcillo; Ginés Moreno; Manuel Ojeda-Aciego (IWANN (2), 2011)

A Fuzzy Declarative Approach for Classifying Unlabeled Short Texts Using Thesauri. - Francisco P. Romero 001; Pascual Julián Iranzo; Andrés Soto; Mateus Ferreira Satler; Juan Gallardo-Casero (WILF, 2011)

Declarative Fuzzy Linguistic Queries on Relational Databases. - Clemente Rubio-Manzano; Pascual Julián Iranzo; Esteban Salazar-Santis; Eduardo San Martín-Villarroel (FQAS, 2013)

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. - Pascual Julián Iranzo; Jesús Medina-Moreno; Pedro J. Morcillo; Ginés Moreno; Manuel Ojeda-Aciego (IWANN (1), 2013)

A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi Prolog System. - Pascual Julián Iranzo; Clemente Rubio-Manzano (IWANN (2), 2013)

Classifying unlabeled short texts using a fuzzy declarative approach. - Francisco P. Romero 001; Pascual Julián Iranzo; Andrés Soto; Mateus Ferreira Satler; Juan Gallardo-Casero (Lang. Resour. Evaluation, 2013)

Reasoning with words: A first approximation. - Clemente Rubio-Manzano; Pascual Julián Iranzo (FUZZ-IEEE, 2014)

Revisiting Reductants in the Multi-adjoint Logic Programming Framework. - Pascual Julián Iranzo; Jesús Medina 001; Manuel Ojeda-Aciego (JELIA, 2014)

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (PROLE, 2014)

A Fuzzy linguistic prolog and its applications. - Clemente Rubio-Manzano; Pascual Julián Iranzo (J. Intell. Fuzzy Syst., 2014)

Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language. - Pascual Julián Iranzo; Ginés Moreno; Carlos Vázquez (RuleML, 2015)

Proximity-based unification theory. - Pascual Julián Iranzo; Clemente Rubio-Manzano (Fuzzy Sets Syst., 2015)

Incorporation of abstraction capability in a logic-based framework by using proximity relations. - Clemente Rubio-Manzano; Pascual Julián Iranzo (J. Intell. Fuzzy Syst., 2015)

A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (RuleML, 2016)

FuzzyDES or how DES Met Bousi-Prolog. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (FUZZ-IEEE, 2017)

On reductants in the framework of multi-adjoint logic programming. - Pascual Julián Iranzo; Jesús Medina 001; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2017)

A sound and complete semantics for a similarity-based logic programming language. - Pascual Julián Iranzo; Clemente Rubio-Manzano (Fuzzy Sets Syst., 2017)

Thresholded semantic framework for a fully integrated fuzzy logic language. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (J. Log. Algebraic Methods Program., 2017)

FASILL: Fuzzy Correct Answers and Soundness⋆. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (FUZZ-IEEE, 2018)

An Efficient Proximity-based Unification Algorithm⋆. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (FUZZ-IEEE, 2018)

A Fuzzy Datalog Deductive Database System. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (IEEE Trans. Fuzzy Syst., 2018)

WordNet and Prolog: why not? - Pascual Julián Iranzo; Fernando Sáenz-Pérez (EUSFLAT Conf., 2019)

A System implementing Fuzzy Hypothetical Datalog⋆. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (FUZZ-IEEE, 2020)

The Fuzzy Logic Programming language FASILL: Design and implementation. - Pascual Julián Iranzo; Ginés Moreno; José Antonio Riaza (Int. J. Approx. Reason., 2020)

Proximity-Based Unification: An Efficient Implementation Method. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (IEEE Trans. Fuzzy Syst., 2021)

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (Theory Pract. Log. Program., 2021)

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (Theory Pract. Log. Program., 2021)

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (Expert Syst. Appl., 2023)

Some properties of substitutions in the framework of similarity relations. - Pascual Julián Iranzo; Ginés Moreno; José Antonio Riaza (Fuzzy Sets Syst., 2023)

Seeking a safe and efficient similarity-based unfolding rule. - Pascual Julián Iranzo; Ginés Moreno; José Antonio Riaza (Int. J. Approx. Reason., 2023)

An efficient propositional system for Abductive Logic Programming. - Marco Gavanelli; Pascual Julián Iranzo; Fernando Sáenz-Pérez (Artif. Intell. Rev., 2024)

Conversion of the Spanish WordNet databases into a Prolog-readable format. - Pascual Julián Iranzo; Germán Rigau; Fernando Sáenz-Pérez; Pablo Velasco-Crespo (Lang. Resour. Evaluation, 2025)