Elegir campos a generar del autor Ginés

Datos personales Todos / Ninguno
Correo Electrónico
Artículos Todos / Ninguno
Multi-Adjoint lattices for manipulating truth-degrees into the FLOPER system
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees (Tool System)
A fuzzy approach to cloud admission control for safe overbooking (High-level Work)
Using Partial Evaluation to Automate Program Composition
Simplifying General Reductants with Fuzzy Unfolding-based Techniques
Towards an XQuery-based implementation of Fuzzy XPath (Work in Progress)
Tuning fuzzy SPARQL queries
Seeking a safe and efficient similarity-based unfolding rule
Some properties of substitutions in the framework of similarity relations
The Fuzzy Logic Programming language FASILL: Design and implementation
Fuzzy queries of social networks with FSA-SPARQL
Thresholded semantic framework for a fully integrated fuzzy logic language
Tuning Fuzzy Logic Programs with Symbolic Execution
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs⋆
A fuzzy logic programming environment for managing similarity and truth degrees
Fuzzy XPath through Fuzzy Logic Programming
Beyond multi-adjoint logic programming
Fuzzy logic programming in action with floper
Automatic proving of fuzzy formulae with fuzzy logic programming and SMT
Analyzing fuzzy logic computations with Fuzzy XPath
String-based multi-adjoint lattices for tracing fuzzy logic computations
Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices
XII Spanish Conference on Programming and Computer Languages (PROLE 2012)
Fuzzy logic programming for implementing a flexible XPath-based query language
Thresholded Tabulation in a Fuzzy Logic Setting
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
An improved reductant calculus using fuzzy partial evaluation techniques
Optimizing fuzzy logic programs by unfolding, aggregation and folding
Building a fuzzy logic programming tool
Formal Properties of Needed Narrowing with Similarity Relations
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
Programando con igualdad similar estricta
Evaluación parcial de programas lógicos multi-adjuntos y aplicaciones
Operational/interpretive unfolding of multi-adjoint logic programs
Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages
On fuzzy unfolding: A multi-adjoint approach
Unfolding-based improvements on fuzzy logic programs
Rules + strategies for transforming lazy functional logic programs
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations
Transformation Rules and Strategies for Functional-Logic Programs
Un Sistema de Transformación para Programas Multiparadigma.
Parallel algorithm for table division in relational databases
Libros, capítulos, tesis Todos / Ninguno
An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
Symbolic unfolding of multi-adjoint logic programs
Fuzzy Logic Programming for Tuning Neural Networks
Efficient unfolding of fuzzy connectives for multi-adjoint logic programs
An online tool for tuning fuzzy logic programs
On similarity-based unfolding
A declarative semantics for a fuzzy logic language managing similarities and truth degrees
Improving multi-adjoint logic programs by unfolding fuzzy connective definitions
Fuzzy XPath for the automatic search of fuzzy formulae models
Similarity-based strict equality in a fully integrated fuzzy logic language
Fuzzy sets for a declarative description of multi-adjoint logic programming
Dynamic filtering of ranked answers when evaluating fuzzy XPath queries
Fuzzy Xpath queries in Xquery
Towards categorical fuzzy logic programming
A fuzzy approach to cloud admission control for safe overbooking
An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation
Annotating "fuzzy chance degrees" when debugging xpath queries
A XPath debugger based on fuzzy chance degrees
Fuzzy computed answers collecting proof information
Declarative traces into fuzzy computed answers
A static preprocess for improving fuzzy thresholded tabulation
A flexible XPath-based query language implemented with fuzzy logic programming
Similarity-Based Equality with Lazy Evaluation
A practical management of fuzzy truth-degrees using FLOPER
Efficient thresholded tabulation for fuzzy query answering
On the declarative semantics of multi-adjoint logic programs
Measuring the interpretive cost in fuzzy logic computations
Building a fuzzy transformation system
Programming with fuzzy logic and mathematical functions
An automatic composition algorithm for functional logic programs
Safe folding/unfolding with conditional narrowing
Conferencias Todos / Ninguno
Smart Design of Similarity Relations for Fuzzy Logic Programming Environments
Testing properties of fuzzy connectives and truth degrees with the latticemaker tool
Fasill: Fuzzy correct answers and soundness?
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
A fuzzy extension of SPARQL based on fuzzy sets and aggregators
Debugging while interpreting fuzzy XPath queries
A cloud scheduler assisted by a fuzzy affinity-aware engine
Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments
Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler
Thresholded debugging of XPath queries
Fuzzy logic rules modeling similarity-based strict equality
Improving completeness in multi-adjoint logic computations via general reductants
Dedekind-MacNeille completion and multiadjoint lattices
Modeling interpretive steps into the FLOPER environment
On cost estimations for executing fuzzy logic programs
Modeling interpretive steps in fuzzy logic computations
The Fuzzy Logic Programming Environment FLOPER
Floper, a fuzzy logic programming environment for research
Combining tabulation and thresholding techniques for executing multi-adjoint logic programs
Using floper for running/debugging fuzzy logic programs
Programming with fuzzy logic rules by using the FLOPER tool
Designing a software tool for fuzzy logic programming
Similarity-based Unification Embedded into Narrowing
Improved tupling for optimizing multi-paradigm declarative programs
Unfolding fuzzy logic programs
Automatic optimization of multi-paradigm declarative programs
A transformation system for lazy functional logic programs
Informes y otros Todos / Ninguno
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
Impact analysis of SBAS authentication
Towards a Categorical Description of Fuzzy Logic Programming
Transformation-based strategies for lazy functional logic programs
The Transformation System synth
Métricas del autor Todos / Ninguno
Indice H