default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascual Julián Iranzo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j21]Marco Gavanelli, Pascual Julián Iranzo, Fernando Sáenz-Pérez:
An efficient propositional system for Abductive Logic Programming. Artif. Intell. Rev. 57(12): 334 (2024)- 2023
- [j20]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): 118858 (2023) - [j19]Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza:
Some properties of substitutions in the framework of similarity relations. Fuzzy Sets Syst. 465: 108510 (2023) - [j18]Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza:
Seeking a safe and efficient similarity-based unfolding rule. Int. J. Approx. Reason. 163: 109038 (2023) - 2021
- [j17]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Proximity-Based Unification: An Efficient Implementation Method. IEEE Trans. Fuzzy Syst. 29(5): 1238-1251 (2021) - [j16]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): 264-282 (2021) - [j15]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Theory Pract. Log. Program. 21(5): 680-697 (2021) - [i2]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. CoRR abs/2101.09619 (2021) - [i1]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog. CoRR abs/2108.03602 (2021) - 2020
- [j14]Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza:
The Fuzzy Logic Programming language FASILL: Design and implementation. Int. J. Approx. Reason. 125: 139-168 (2020) - [c35]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
A System implementing Fuzzy Hypothetical Datalog⋆. FUZZ-IEEE 2020: 1-8
2010 – 2019
- 2019
- [c34]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
WordNet and Prolog: why not? EUSFLAT Conf. 2019 - 2018
- [j13]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
A Fuzzy Datalog Deductive Database System. IEEE Trans. Fuzzy Syst. 26(5): 2634-2648 (2018) - [c33]Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad:
FASILL: Fuzzy Correct Answers and Soundness⋆. FUZZ-IEEE 2018: 1-8 - [c32]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
An Efficient Proximity-based Unification Algorithm⋆. FUZZ-IEEE 2018: 1-8 - 2017
- [j12]Pascual Julián Iranzo, Clemente Rubio-Manzano:
A sound and complete semantics for a similarity-based logic programming language. Fuzzy Sets Syst. 317: 1-26 (2017) - [j11]Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego:
On reductants in the framework of multi-adjoint logic programming. Fuzzy Sets Syst. 317: 27-43 (2017) - [j10]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: 42-67 (2017) - [c31]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
FuzzyDES or how DES Met Bousi-Prolog. FUZZ-IEEE 2017: 1-6 - 2016
- [c30]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: 68-82 - 2015
- [j9]Pascual Julián Iranzo, Clemente Rubio-Manzano:
Proximity-based unification theory. Fuzzy Sets Syst. 262: 21-43 (2015) - [j8]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): 1671-1683 (2015) - [c29]Pascual Julián Iranzo, Ginés Moreno, Carlos Vázquez:
Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language. RuleML 2015: 193-207 - 2014
- [j7]Clemente Rubio-Manzano, Pascual Julián Iranzo:
A Fuzzy linguistic prolog and its applications. J. Intell. Fuzzy Syst. 26(3): 1503-1516 (2014) - [c28]Clemente Rubio-Manzano, Pascual Julián Iranzo:
Reasoning with words: A first approximation. FUZZ-IEEE 2014: 569-574 - [c27]Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego:
Revisiting Reductants in the Multi-adjoint Logic Programming Framework. JELIA 2014: 694-702 - [c26]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: 71-86 - 2013
- [j6]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): 151-178 (2013) - [c25]Clemente Rubio-Manzano, Pascual Julián Iranzo, Esteban Salazar-Santis, Eduardo San Martín-Villarroel:
Declarative Fuzzy Linguistic Queries on Relational Databases. FQAS 2013: 413-424 - [c24]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: 236-245 - [c23]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: 647-655 - 2011
- [c22]Pascual Julián Iranzo, Clemente Rubio-Manzano:
A Sound Semantics for a Similarity-Based Logic Programming Language. IWANN (2) 2011: 421-428 - [c21]Pascual Julián, Jesús Medina, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego:
A Static Preprocess for Improving Fuzzy Thresholded Tabulation. IWANN (2) 2011: 429-436 - [c20]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: 180-187 - 2010
- [c19]Pascual Julián Iranzo, Clemente Rubio-Manzano:
An efficient fuzzy unification method and its implementation into the Bousi~Prolog system. FUZZ-IEEE 2010: 1-8 - [c18]Pascual Julián Iranzo, Clemente Rubio-Manzano:
A Programming Environment for Bousi-Prolog. IC-AI 2010: 36-42 - [c17]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: 93-98
2000 – 2009
- 2009
- [j5]Pascual Julián, Ginés Moreno, Jaime Penabad:
An improved reductant calculus using fuzzy partial evaluation techniques. Fuzzy Sets Syst. 160(2): 162-181 (2009) - [c16]Pascual Julián Iranzo, Clemente Rubio-Manzano:
A Similarity-Based WAM for Bousi~Prolog. IWANN (1) 2009: 245-252 - [c15]Pascual Julián, Ginés Moreno, Jaime Penabad:
On the Declarative Semantics of Multi-Adjoint Logic Programs. IWANN (1) 2009: 253-260 - [c14]Pascual Julián Iranzo, Clemente Rubio-Manzano:
A declarative semantics for Bousi~Prolog. PPDP 2009: 149-160 - 2008
- [c13]Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego:
Thresholded Tabulation in a Fuzzy Logic Setting. PROLE 2008: 115-130 - [c12]Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero:
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. PROLE 2008: 131-147 - 2007
- [c11]Pascual Julián, Ginés Moreno, Jaime Penabad:
Measuring the Interpretive Cost in Fuzzy Logic Computations. WILF 2007: 28-36 - 2006
- [j4]Pascual Julián, Ginés Moreno, Jaime Penabad:
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. J. Univers. Comput. Sci. 12(11): 1679-1699 (2006) - [c10]Pascual Julián Iranzo, Clemente Rubio-Manzano:
A WAM implementation for flexible query answering. Artificial Intelligence and Soft Computing 2006: 262-267 - [c9]Pascual Julián, Ginés Moreno, Jaime Penabad:
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. PROLE 2006: 77-90 - 2005
- [j3]Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad:
On fuzzy unfolding: A multi-adjoint approach. Fuzzy Sets Syst. 154(1): 16-33 (2005) - 2004
- [c8]Pascual Julián Iranzo, Christian Villamizar Lamus:
Analysing Definitional Trees: Looking for Determinism. FLOPS 2004: 55-69 - [c7]Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad:
Unfolding-based Improvements on Fuzzy Logic Programs. PROLE 2004: 69-103 - 2003
- [j2]Pascual Julián Iranzo:
Thesis: Partial evaluation of lazy functional logic programs. AI Commun. 16(2): 121-123 (2003) - [j1]María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003) - 2002
- [c6]Pascual Julián Iranzo:
On the Correctness of the Factoring Transformation. FLOPS 2002: 119-133 - 2001
- [c5]Sergio Antoy, Pascual Julián Iranzo, Bart Massey:
Improving the Efficiency of Non-Deterministic Computations. WFLP 2001: 73-94
1990 – 1999
- 1998
- [c4]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: 151-164 - [c3]Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277 - 1997
- [c2]María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Specialization of Lazy Functional Logic Programs. PEPM 1997: 151-162 - 1996
- [c1]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: 17-28
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
