A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees

A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations

A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs

A Transformation System for Lazy Functional Logic Programs

article

A cloud scheduler assisted by a fuzzy affinity-aware engine

A fuzzy extension of SPARQL based on fuzzy sets and aggregators

A hybrid programming scheme combining fuzzy-logic and functional-logic resources

An Automatic Composition Algorithm for Functional Logic Programs

article

An Online Tool for Tuning Fuzzy Logic Programs

An Online Tool for Unfolding Symbolic Fuzzy Logic Programs

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation

An improved reductant calculus using fuzzy partial evaluation techniques

Analyzing Fuzzy Logic Computations with Fuzzy XPath

Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

Beyond multi-adjoint logic programming

Building a Fuzzy Transformation System

Debugging while interpreting fuzzy XPath queries

Declarative Traces into Fuzzy Computed Answers

Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices

Designing a Software Tool for Fuzzy Logic Programming

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding

Efficient Thresholded Tabulation for Fuzzy Query Answering

Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs

FASILL: Fuzzy Correct Answers and Soundness⋆

Flexible Aggregation in FSA-SPARQL

Formal Properties of Needed Narrowing with Similarity Relations

Fuzzy Computed Answers Collecting Proof Information

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language

scientific article published on 01 June 2012

Fuzzy Logic Programming for Tuning Neural Networks

Fuzzy Logic Rules Modeling Similarity-based Strict Equality

Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming

Fuzzy XPath through Fuzzy Logic Programming

Fuzzy queries of social networks with FSA-SPARQL

scholarly article

Modeling Interpretive Steps in Fuzzy Logic Computations

On Similarity-Based Unfolding

On fuzzy unfolding: A multi-adjoint approach

Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding

Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler

Rules + strategies for transforming lazy functional logic programs

article

Seeking a safe and efficient similarity-based unfolding rule

Similarity-Based Equality with Lazy Evaluation

Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language

Smart Design of Similarity Relations for Fuzzy Logic Programming Environments

Some properties of substitutions in the framework of similarity relations

String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs

Symbolic Unfolding of Multi-adjoint Logic Programs

Testing properties of fuzzy connectives and truth degrees with the latticemaker tool

The Fuzzy Logic Programming language FASILL: Design and implementation

scientific article published in October 2020

Thresholded Tabulation in a Fuzzy Logic Setting

Thresholded debugging of XPath queries

Thresholded semantic framework for a fully integrated fuzzy logic language

Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment

Tuning fuzzy SPARQL queries

scientific article published in July 2024

Unfolding-based Improvements on Fuzzy Logic Programs