Pascual Julián Iranzo

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