Pascual Julián Iranzo

According to our database, Pascual Julián Iranzo authored at least 56 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An efficient propositional system for Abductive Logic Programming.

Marco Gavanelli, Pascual Julián Iranzo, Fernando Sáenz-Pérez

Artif. Intell. Rev., December, 2024

2023

Seeking a safe and efficient similarity-based unfolding rule.

Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza

Int. J. Approx. Reason., December, 2023

Some properties of substitutions in the framework of similarity relations.

Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza

Fuzzy Sets Syst., August, 2023

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

2021

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog.

Pascual Julián Iranzo, Fernando Sáenz-Pérez

Theory Pract. Log. Program., 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

Proximity-Based Unification: An Efficient Implementation Method.

Pascual Julián Iranzo, Fernando Sáenz-Pérez

IEEE Trans. Fuzzy Syst., 2021

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

A System implementing Fuzzy Hypothetical Datalog^⋆.

Pascual Julián Iranzo, Fernando Sáenz-Pérez

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

WordNet and Prolog: why not?

Pascual Julián Iranzo, Fernando Sáenz-Pérez

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018

A Fuzzy Datalog Deductive Database System.

Pascual Julián Iranzo, Fernando Sáenz-Pérez

IEEE Trans. Fuzzy Syst., 2018

An Efficient Proximity-based Unification Algorithm^⋆.

Pascual Julián Iranzo, Fernando Sáenz-Pérez

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

FASILL: Fuzzy Correct Answers and Soundness⋆.

Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

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

A sound and complete semantics for a similarity-based logic programming language.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Fuzzy Sets Syst., 2017

On reductants in the framework of multi-adjoint logic programming.

Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego

Fuzzy Sets Syst., 2017

FuzzyDES or how DES Met Bousi-Prolog.

Pascual Julián Iranzo, Fernando Sáenz-Pérez

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

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

Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

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

Proximity-based unification theory.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Fuzzy Sets Syst., 2015

Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language.

Pascual Julián Iranzo, Ginés Moreno, Carlos Vázquez

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

2014

A Fuzzy linguistic prolog and its applications.

Clemente Rubio-Manzano, Pascual Julián Iranzo

J. Intell. Fuzzy Syst., 2014

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees.

Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Revisiting Reductants in the Multi-adjoint Logic Programming Framework.

Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Reasoning with words: A first approximation.

Clemente Rubio-Manzano, Pascual Julián Iranzo

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

2013

Classifying unlabeled short texts using a fuzzy declarative approach.

Francisco P. Romero, Pascual Julián Iranzo, Andrés Soto, Mateus Ferreira Satler, Juan Gallardo-Casero

Lang. Resour. Evaluation, 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

Proceedings of the Advances in Computational Intelligence, 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

Proceedings of the Advances in Computational Intelligence, 2013

Declarative Fuzzy Linguistic Queries on Relational Databases.

Clemente Rubio-Manzano, Pascual Julián Iranzo, Esteban Salazar-Santis, Eduardo San Martín-Villarroel

Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

2011

A Fuzzy Declarative Approach for Classifying Unlabeled Short Texts Using Thesauri.

Francisco P. Romero, Pascual Julián Iranzo, Andrés Soto, Mateus Ferreira Satler, Juan Gallardo-Casero

Proceedings of the Fuzzy Logic and Applications - 9th International Workshop, 2011

A Static Preprocess for Improving Fuzzy Thresholded Tabulation.

Pascual Julián, Jesús Medina, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego

Proceedings of the Advances in Computational Intelligence, 2011

A Sound Semantics for a Similarity-Based Logic Programming Language.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Proceedings of the Advances in Computational Intelligence, 2011

2010

Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Proceedings of the ICFC-ICNC 2010, 2010

A Programming Environment for Bousi-Prolog.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

An efficient fuzzy unification method and its implementation into the Bousi~Prolog system.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Proceedings of the FUZZ-IEEE 2010, 2010

2009

An improved reductant calculus using fuzzy partial evaluation techniques.

Pascual Julián, Ginés Moreno, Jaime Penabad

Fuzzy Sets Syst., 2009

A declarative semantics for Bousi~Prolog.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

On the Declarative Semantics of Multi-Adjoint Logic Programs.

Pascual Julián, Ginés Moreno, Jaime Penabad

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

A Similarity-Based WAM for Bousi~Prolog.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2008

Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering.

Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Thresholded Tabulation in a Fuzzy Logic Setting.

Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

2007

Measuring the Interpretive Cost in Fuzzy Logic Computations.

Pascual Julián, Ginés Moreno, Jaime Penabad

Proceedings of the Applications of Fuzzy Sets Theory, 2007

2006

Operational/Interpretive Unfolding of Multi-adjoint Logic Programs.

Pascual Julián, Ginés Moreno, Jaime Penabad

J. Univers. Comput. Sci., 2006

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding.

Pascual Julián, Ginés Moreno, Jaime Penabad

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

A WAM implementation for flexible query answering.

Pascual Julián Iranzo, Clemente Rubio-Manzano

Proceedings of the Artificial Intelligence and Soft Computing, 2006

2005

On fuzzy unfolding: A multi-adjoint approach.

Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad

Fuzzy Sets Syst., 2005

2004

Unfolding-based Improvements on Fuzzy Logic Programs.

Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Analysing Definitional Trees: Looking for Determinism.

Pascual Julián Iranzo, Christian Villamizar Lamus

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

Uniform Lazy Narrowing.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

J. Log. Comput., 2003

Thesis: Partial evaluation of lazy functional logic programs.

Pascual Julián Iranzo

AI Commun., 2003

2002

On the Correctness of the Factoring Transformation.

Pascual Julián Iranzo

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

Improving the Efficiency of Non-Deterministic Computations.

Sergio Antoy, Pascual Julián Iranzo, Bart Massey

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

1998

Improving Control in Functional Logic Program Specialization.

Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the Static Analysis, 5th International Symposium, 1998

Polygenetic Partial Evaluation of Lazy Functional Logic Programs.

Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Specialization of Lazy Functional Logic Programs.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

1996

Call-By Name Partial Evaluation of Functional Logic Programs.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996