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 |
|