Seeking a safe and efficient similarity-based unfolding rule |
|
Some properties of substitutions in the framework of similarity relations |
|
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language |
|
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog |
|
Proximity-Based Unification: An Efficient Implementation Method |
|
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System |
|
The Fuzzy Logic Programming language FASILL: Design and implementation |
|
A Fuzzy Datalog Deductive Database System |
|
Thresholded semantic framework for a fully integrated fuzzy logic language |
|
On reductants in the framework of multi-adjoint logic programming |
|
A sound and complete semantics for a similarity-based logic programming language |
|
A fuzzy logic programming environment for managing similarity and truth degrees |
|
Incorporation of abstraction capability in a logic-based framework by using proximity relations |
|
Proximity-based unification theory |
|
A Fuzzy linguistic prolog and its applications |
|
Classifying unlabeled short texts using a fuzzy declarative approach |
|
Thresholded Tabulation in a Fuzzy Logic Setting |
|
Bousi similar to Prolog: a Prolog Extension Language for Flexible Query Answering |
|
An improved reductant calculus using fuzzy partial evaluation techniques |
|
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding |
|
Acute myocardial infarction in a patient with cutaneous lupus erythematosus treated with thalidomide |
|
Operational/interpretive unfolding of multi-adjoint logic programs |
|
On fuzzy unfolding: A multi-adjoint approach |
|
Unfolding-based improvements on fuzzy logic programs |
|
Partial evaluation of lazy functional logic programs |
|
Uniform lazy narrowing |
|
Improving the efficiency of non-deterministic computations |
|