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

A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming

A Fuzzy Approach to Cloud Admission Control for Safe Overbooking

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

A XPath Debugger Based on Fuzzy Chance Degrees

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

Annotating “Fuzzy Chance Degrees” When Debugging XPath Queries

Building a Fuzzy Transformation System

Declarative Traces into Fuzzy Computed Answers

Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries

Efficient Thresholded Tabulation for Fuzzy Query Answering

Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs

Fuzzy Computed Answers Collecting Proof Information

Fuzzy Logic Programming for Tuning Neural Networks

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

Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models

Modeling Interpretive Steps in Fuzzy Logic Computations

On Similarity-Based Unfolding

Similarity-Based Equality with Lazy Evaluation

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

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs

Symbolic Unfolding of Multi-adjoint Logic Programs

Towards Categorical Fuzzy Logic Programming