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

A Fuzzy Datalog Deductive Database System

scientific article published in October 2018

A Fuzzy Declarative Approach for Classifying Unlabeled Short Texts Using Thesauri

A Fuzzy linguistic prolog and its applications

scientific article published in January 2014

A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi~Prolog System

A Similarity-Based WAM for Bousi~Prolog

A Sound Semantics for a Similarity-Based Logic Programming Language

A declarative semantics for Bousi~Prolog

scientific article published on 08 September 2009

A sound and complete semantics for a similarity-based logic programming language

scientific article published in June 2017

An Efficient Proximity-based Unification Algorithm^⋆

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation

An efficient fuzzy unification method and its implementation into the Bousi~Prolog system

An improved reductant calculus using fuzzy partial evaluation techniques

Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering

scientific article published in August 2009

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language

scientific article published in March 2023

Classifying unlabeled short texts using a fuzzy declarative approach

scientific article published on 4 November 2012

Declarative Fuzzy Linguistic Queries on Relational Databases

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding

FASILL: Fuzzy Correct Answers and Soundness⋆

FuzzyDES or how DES Met Bousi-Prolog

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System

scientific article published in March 2021

Incorporation of abstraction capability in a logic-based framework by using proximity relations

scientific article published on 23 October 2015

On fuzzy unfolding: A multi-adjoint approach

On reductants in the framework of multi-adjoint logic programming

scientific article published in June 2017

Proximity-Based Unification: An Efficient Implementation Method

scientific article published in May 2021

Proximity-based unification theory

scientific article published in March 2015

Reasoning with words: A first approximation

Seeking a safe and efficient similarity-based unfolding rule

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

Some properties of substitutions in the framework of similarity relations

The Fuzzy Logic Programming language FASILL: Design and implementation

scientific article published in October 2020

Thresholded Tabulation in a Fuzzy Logic Setting

Thresholded semantic framework for a fully integrated fuzzy logic language

Unfolding-based Improvements on Fuzzy Logic Programs