Pascual Julián Iranzo

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 22

Top Topics

Fuzzy Linguistic

Logic Programming

Efficient Implementation

Top Venues

Fuzzy Sets Syst.

Int. J. Approx. Reason.

Publications

Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza
Some properties of substitutions in the framework of similarity relations. Fuzzy Sets Syst. 465 (2023)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language. Expert Syst. Appl. 213 (Part) (2023)
Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza
Seeking a safe and efficient similarity-based unfolding rule. Int. J. Approx. Reason. 163 (2023)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. CoRR (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. Theory Pract. Log. Program. 21 (2) (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Proximity-Based Unification: An Efficient Implementation Method. IEEE Trans. Fuzzy Syst. 29 (5) (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Theory Pract. Log. Program. 21 (5) (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog. CoRR (2021)
Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza
The Fuzzy Logic Programming language FASILL: Design and implementation. Int. J. Approx. Reason. 125 (2020)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
. FUZZ-IEEE (2020)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
WordNet and Prolog: why not? EUSFLAT Conf. (2019)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
. FUZZ-IEEE (2018)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
A Fuzzy Datalog Deductive Database System. IEEE Trans. Fuzzy Syst. 26 (5) (2018)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
FASILL: Fuzzy Correct Answers and Soundness⋆. FUZZ-IEEE (2018)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
Thresholded semantic framework for a fully integrated fuzzy logic language. J. Log. Algebraic Methods Program. 93 (2017)
Pascual Julián Iranzo, Clemente Rubio-Manzano
A sound and complete semantics for a similarity-based logic programming language. Fuzzy Sets Syst. 317 (2017)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
FuzzyDES or how DES Met Bousi-Prolog. FUZZ-IEEE (2017)
Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego
On reductants in the framework of multi-adjoint logic programming. Fuzzy Sets Syst. 317 (2017)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. RuleML (2016)
Pascual Julián Iranzo, Clemente Rubio-Manzano
Proximity-based unification theory. Fuzzy Sets Syst. 262 (2015)
Pascual Julián Iranzo, Ginés Moreno, Carlos Vázquez
Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language. RuleML (2015)
Clemente Rubio-Manzano, Pascual Julián Iranzo
Incorporation of abstraction capability in a logic-based framework by using proximity relations. J. Intell. Fuzzy Syst. 29 (4) (2015)
Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego
Revisiting Reductants in the Multi-adjoint Logic Programming Framework. JELIA (2014)
Clemente Rubio-Manzano, Pascual Julián Iranzo
Reasoning with words: A first approximation. FUZZ-IEEE (2014)
Clemente Rubio-Manzano, Pascual Julián Iranzo
A Fuzzy linguistic prolog and its applications. J. Intell. Fuzzy Syst. 26 (3) (2014)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. PROLE (2014)
Clemente Rubio-Manzano, Pascual Julián Iranzo, Esteban Salazar-Santis, Eduardo San Martín-Villarroel
Declarative Fuzzy Linguistic Queries on Relational Databases. FQAS (2013)
Pascual Julián Iranzo, Clemente Rubio-Manzano
A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi~Prolog System. IWANN (2) (2013)
Francisco P. Romero, Pascual Julián Iranzo, Andrés Soto, Mateus Ferreira Satler, Juan Gallardo-Casero
Classifying unlabeled short texts using a fuzzy declarative approach. Lang. Resour. Evaluation 47 (1) (2013)
Pascual Julián Iranzo, Jesús Medina-Moreno, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego
An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. IWANN (1) (2013)
Francisco P. Romero, Pascual Julián Iranzo, Andrés Soto, Mateus Ferreira Satler, Juan Gallardo-Casero
A Fuzzy Declarative Approach for Classifying Unlabeled Short Texts Using Thesauri. WILF (2011)
Pascual Julián Iranzo, Clemente Rubio-Manzano
A Sound Semantics for a Similarity-Based Logic Programming Language. IWANN (2) (2011)
Pascual Julián Iranzo, Clemente Rubio-Manzano
Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning. IJCCI (ICFC-ICNC) (2010)
Pascual Julián Iranzo, Clemente Rubio-Manzano
An efficient fuzzy unification method and its implementation into the Bousi~Prolog system. FUZZ-IEEE (2010)
Pascual Julián Iranzo, Clemente Rubio-Manzano
A Programming Environment for Bousi-Prolog. IC-AI (2010)
Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego
Thresholded Tabulation in a Fuzzy Logic Setting. Electron. Notes Theor. Comput. Sci. 248 (2009)
Pascual Julián Iranzo, Clemente Rubio-Manzano
A declarative semantics for Bousi~Prolog. PPDP (2009)
Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. Electron. Notes Theor. Comput. Sci. 248 (2009)
Pascual Julián Iranzo, Clemente Rubio-Manzano
A Similarity-Based WAM for Bousi~Prolog. IWANN (1) (2009)
Pascual Julián Iranzo, Clemente Rubio-Manzano
A WAM implementation for flexible query answering. Artificial Intelligence and Soft Computing (2006)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
On fuzzy unfolding: A multi-adjoint approach. Fuzzy Sets Syst. 154 (1) (2005)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
Unfolding-based Improvements on Fuzzy Logic Programs. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Pascual Julián Iranzo, Christian Villamizar Lamus
Analysing Definitional Trees: Looking for Determinism. FLOPS (2004)
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Uniform Lazy Narrowing. J. Log. Comput. 13 (2) (2003)
Pascual Julián Iranzo
Thesis: Partial evaluation of lazy functional logic programs. AI Commun. 16 (2) (2003)
Pascual Julián Iranzo
On the Correctness of the Factoring Transformation. FLOPS (2002)
Sergio Antoy, Pascual Julián Iranzo, Bart Massey
Improving the Efficiency of Non-Deterministic Computations. Electron. Notes Theor. Comput. Sci. 64 (2002)
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Improving Control in Functional Logic Program Specialization. SAS (1998)
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE (1998)
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Specialization of Lazy Functional Logic Programs. PEPM (1997)
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE (1996)