Elegir campos a generar del autor Pascual

Datos personales Todos / Ninguno
Correo Electrónico
Artículos Todos / Ninguno
Seeking a safe and efficient similarity-based unfolding rule
Some properties of substitutions in the framework of similarity relations
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog
Proximity-Based Unification: An Efficient Implementation Method
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
The Fuzzy Logic Programming language FASILL: Design and implementation
A Fuzzy Datalog Deductive Database System
Thresholded semantic framework for a fully integrated fuzzy logic language
On reductants in the framework of multi-adjoint logic programming
A sound and complete semantics for a similarity-based logic programming language
A fuzzy logic programming environment for managing similarity and truth degrees
Incorporation of abstraction capability in a logic-based framework by using proximity relations
Proximity-based unification theory
A Fuzzy linguistic prolog and its applications
Classifying unlabeled short texts using a fuzzy declarative approach
Thresholded Tabulation in a Fuzzy Logic Setting
Bousi similar to Prolog: a Prolog Extension Language for Flexible Query Answering
An improved reductant calculus using fuzzy partial evaluation techniques
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
Acute myocardial infarction in a patient with cutaneous lupus erythematosus treated with thalidomide
Operational/interpretive unfolding of multi-adjoint logic programs
On fuzzy unfolding: A multi-adjoint approach
Unfolding-based improvements on fuzzy logic programs
Partial evaluation of lazy functional logic programs
Uniform lazy narrowing
Improving the efficiency of non-deterministic computations
Libros, capítulos, tesis Todos / Ninguno
A declarative semantics for a fuzzy logic language managing similarities and truth degrees
Similarity-based strict equality in a fully integrated fuzzy logic language
Revisiting reductants in the multi-adjoint logic programming framework
A proximity-based method for discovery of generalized knowledge and its incorporation to the bousi∼prolog system
An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation
Declarative fuzzy linguistic queries on relational databases
A fuzzy declarative approach for classifying unlabeled short texts using thesauri
A sound semantics for a similarity-based logic programming language
A static preprocess for improving fuzzy thresholded tabulation
Efficient thresholded tabulation for fuzzy query answering
On the declarative semantics of multi-adjoint logic programs
A similarity-based wam for bousi≃ prolog
Measuring the interpretive cost in fuzzy logic computations
Analysing definitional trees: Looking for determinism
On the correctness of the factoring transformation
Improving control in functional logic program specialization
Conferencias Todos / Ninguno
A Fuzzy Declarative Approach to Classify Unlabeled Short Texts Based on Automatically Constructed WordNet Ontologies
A System implementing Fuzzy Hypothetical Datalog∗
WordNet and prolog: Why not?
An efficient proximity-based unification algorithm?
Fasill: Fuzzy correct answers and soundness?
FuzzyDES or How DES Met Bousi similar to Prolog
FuzzyDES or how DES Met Bousi-Prolog
Reasoning with words: A first approximation
A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi similar to Prolog System
A proximity-based method for discovery of generalized knowledge and its incorporation to the bousi∼prolog system
A programming environment for Bousi∼Prolog
Bousi-prolog a fuzzy logic Programming language for modeling vague knowledge and approximate reasoning
An efficient fuzzy unification method and its implementation into the Bousi∼Prolog system
A Similarity-Based WAM for Bousi similar to Prolog
A declarative semantics for bousi-prolog
A WAM implementation for flexible query answering
On the high level canonical representation of piecewise linear functions
Specialization of lazy functional logic programs
Métricas del autor Todos / Ninguno
Indice H