Julián Iranzo, Pascual Autor

Partial evaluation of lazy functional logic programs

  • Iranzo, PJ

AI Communications - 30/6/2003

Número de citas: 1 (Web of Science) 3 (Scopus)

A fuzzy logic programming environment for managing similarity and truth degrees

  • Julian-Iranzo, Pascual
  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos

arXiv preprint arXiv:1501.02034 - 2015

10.4204/eptcs.173.6

Número de citas: 12 (Web of Science)
Open Access

Improving the efficiency of non-deterministic computations

  • Antoy S.
  • Iranzo P.
  • Massey B.

Electronic Notes in Theoretical Computer Science - 1/1/2002

10.1016/s1571-0661(04)80347-5

Número de citas: 3 (Scopus)
Open Access

Unfolding-based improvements on fuzzy logic programs

  • Julian, Pascual
  • Moreno, Gines
  • Penabad, Jaime

Electronic Notes in Theoretical Computer Science - 20/07/2005

10.1016/j.entcs.2005.01.040

Número de citas: 1 (Web of Science) 1 (Scopus)
Open Access

Thresholded Tabulation in a Fuzzy Logic Setting

  • Julian, Pascual
  • Medina, Jesus
  • Moreno, Gines
  • Ojeda-Aciego, Manuel

Electronic Notes in Theoretical Computer Science - 4/08/2009

10.1016/j.entcs.2009.07.063

Número de citas: 9 (Web of Science) 9 (Scopus)
Open Access

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding

  • Julian, Pascual
  • Moreno, Gines
  • Penabad, Jaime

Electronic Notes in Theoretical Computer Science - 16/07/2007

10.1016/j.entcs.2007.05.039

Número de citas: 5 (Web of Science) 8 (Scopus)
Open Access

Bousi similar to Prolog: a Prolog Extension Language for Flexible Query Answering

  • Julian-Iranzo, Pascual
  • Rubio-Manzano, Clemente
  • Gallardo-Casero, Juan

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4/08/2009

10.1016/j.entcs.2009.07.064

Número de citas: 21 (Web of Science) 23 (Scopus)

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language

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

EXPERT SYSTEMS WITH APPLICATIONS - 1/09/2022

10.1016/j.eswa.2022.118858

Número de citas: 1 (Web of Science) 2 (Scopus)

An improved reductant calculus using fuzzy partial evaluation techniques

  • Julian, Pascual
  • Moreno, Gines
  • Penabad, Jaime

Fuzzy Sets and Systems - 16/01/2009

10.1016/j.fss.2008.05.006

Número de citas: 17 (Web of Science) 21 (Scopus)

Some properties of substitutions in the framework of similarity relations

  • Julián-Iranzo P.
  • Moreno G.
  • Riaza J.A.

Fuzzy Sets and Systems - 1/1/2023

10.1016/j.fss.2023.03.013

Número de citas: 1 (Scopus)

A proximity-based method for discovery of generalized knowledge and its incorporation to the bousi∼prolog system

  • Julián-Iranzo, P.
  • Rubio-Manzano, C.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2013

10.1007/978-3-642-38682-4_27

  • ORCID
Open Access

A declarative semantics for a fuzzy logic language managing similarities and truth degrees

  • Julian-Iranzo, Pascual
  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos
  • Alferes, JJ
  • Bertossi, L
  • Governatori, G
  • Fodor, P
  • Roman, D
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2016

10.1007/978-3-319-42019-6_5

Número de citas: 8 (Web of Science) 10 (Scopus)
Open Access

Similarity-based strict equality in a fully integrated fuzzy logic language

  • Julian-Iranzo, Pascual
  • Moreno, Gines
  • Vazquez, Carlos
  • Bassiliades, N
  • Gottlob, G
  • Sadri, F
  • Paschke, A
  • Roman, D
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2015

10.1007/978-3-319-21542-6_13

Número de citas: 2 (Web of Science) 2 (Scopus)
Open Access

An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation

  • Julian-Iranzo, Pascual
  • Medina-Moreno, Jesus
  • Morcillo, Pedro J.
  • Moreno, Gines
  • Ojeda-Aciego, Manuel
  • Rojas, I
  • Joya, G
  • Gabestany, J
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 17/7/2013

10.1007/978-3-642-38679-4_65

Número de citas: 11 (Web of Science) 12 (Scopus)
Open Access

A static preprocess for improving fuzzy thresholded tabulation

  • Julian, P.
  • Medina, J.
  • Morcillo, P. J.
  • Moreno, G.
  • Ojeda-Aciego, M.
  • Cabestany, J
  • Rojas, I
  • Joya, G
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 8/6/2011

10.1007/978-3-642-21498-1_54

Número de citas: 3 (Web of Science) 4 (Scopus)
Open Access

Measuring the interpretive cost in fuzzy logic computations

  • Julian, Pascual
  • Moreno, Gines
  • Penabad, Jaime
  • Masulli, F
  • Mitra, S
  • Pasi, G

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2007

10.1007/978-3-540-73400-0_4

Número de citas: 4 (Web of Science) 6 (Scopus)
Open Access

On the declarative semantics of multi-adjoint logic programs

  • Julian, P.
  • Moreno, G.
  • Penabad, J.
  • Cabestany, J
  • Prieto, A
  • Sandoval, F
  • Corchado, JM
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 20/8/2009

10.1007/978-3-642-02478-8_32

Número de citas: 12 (Web of Science) 15 (Scopus)
Open Access

Analysing definitional trees: Looking for determinism

  • Iranzo, PJ
  • Lamus, CV
  • Kameyama, Y
  • Stuckey, PJ

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/12/2004

Número de citas: 2 (Scopus)
Open Access

Revisiting reductants in the multi-adjoint logic programming framework

  • Julian-Iranzo, Pascual
  • Medina, Jesus
  • Ojeda-Aciego, Manuel
  • Ferme, E
  • Leite, J

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2014

10.1007/978-3-319-11558-0_53

Número de citas: 1 (Web of Science) 1 (Scopus)
Open Access

A sound semantics for a similarity-based logic programming language

  • Julian-Iranzo, Pascual
  • Rubio-Manzano, Clemente
  • Cabestany, J
  • Rojas, I
  • Joya, G

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 8/6/2011

10.1007/978-3-642-21498-1_53

Número de citas: 5 (Web of Science) 4 (Scopus)

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

  • Julian-Iranzo, Pascual
  • Rubio-Manzano, Clemente
  • IEEE

2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 25/11/2010

10.1109/fuzzy.2010.5584193

Número de citas: 1 (Web of Science) 13 (Scopus)

FuzzyDES or How DES Met Bousi similar to Prolog

  • Julian-Iranzo, Pascual
  • Saenz-Perez, Fernando
  • IEEE

2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE) - 2017

A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi similar to Prolog System

  • Julian-Iranzo, Pascual
  • Rubio-Manzano, Clemente
  • Rojas, I
  • Joya, G
  • Cabestany, J

ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT II - 2013

A Similarity-Based WAM for Bousi similar to Prolog

  • Julian-Iranzo, Pascual
  • Rubio-Manzano, Clemente
  • Cabestany, J
  • Prieto, A
  • Sandoval, F
  • Corchado, JM

BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1 - 2009

Número de citas: 18 (Web of Science)

Bousi-prolog a fuzzy logic Programming language for modeling vague knowledge and approximate reasoning

  • Julian Iranzo, Pascual
  • Rubio Manzano, Clemente
  • Filipe, J
  • Kacprzyk, J

ICFC 2010 ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation - 1/12/2010

Número de citas: 2 (Web of Science) 4 (Scopus)

Fasill: Fuzzy correct answers and soundness?

  • Julián-Iranzo, P.
  • Moreno, G.
  • Penabad, J.

IEEE International Conference on Fuzzy Systems - 12/07/2018

10.1109/fuzz-ieee.2018.8491504

Número de citas: 2 (Scopus)

A System implementing Fuzzy Hypothetical Datalog∗

  • Julian-Iranzo P.
  • Saenz-Perez F.

IEEE International Conference on Fuzzy Systems - 1/7/2020

10.1109/fuzz48607.2020.9177715

Número de citas: 1 (Scopus)

Reasoning with words: A first approximation

  • Rubio-Manzano, Clemente
  • Julian-Iranzo, Pascual
  • IEEE

IEEE International Conference on Fuzzy Systems - 1/1/2014

10.1109/fuzz-ieee.2014.6891667

Número de citas: 1 (Web of Science) 1 (Scopus)

FuzzyDES or how DES Met Bousi-Prolog

  • Julian-Iranzo P.
  • Saenz-Perez F.

IEEE International Conference on Fuzzy Systems - 23/07/2017

10.1109/fuzz-ieee.2017.8015580

Número de citas: 3 (Scopus)

An efficient proximity-based unification algorithm?

  • Julian-Iranzo, Pascual
  • Saenz-Perez, Fernando
  • IEEE

IEEE International Conference on Fuzzy Systems - 12/07/2018

10.1109/fuzz-ieee.2018.8491593

Número de citas: 6 (Scopus)

Este autor no tiene patentes.

Este autor no tiene informes ni otros tipos de publicaciones.

Scopus: 14

Web of Science: 13

Scopus: 18

Web of Science: 18

  • Acrónimo UAL18-TIC-A002-B1
    Desde: 1 de octubre de 2019
    Hasta: 30 de septiembre de 2020
    Financiado por: Universidad de Almería
    Importe de financiación: 7.500,00 EUR
    Rol: Colaborador
Última actualización de los datos: 4/05/24 9:16
Próxima recolección programada: 11/05/24 3:00