Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2017.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2757232759
@@ Property / OpenAlex ID: W2757232759 / rank @@
+Normal rank
@@ Property / cites work @@
+Likelog for flexible query answering
@@ Property / cites work: Likelog for flexible query answering / rank @@
+Normal rank
@@ Property / cites work @@
+A similarity-based resolution rule
@@ Property / cites work: A similarity-based resolution rule / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate Reasoning Based on Similarity
@@ Property / cites work: Approximate Reasoning Based on Similarity / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation-based implementation for CLP with qualification and proximity
+Normal rank
@@ Property / cites work @@
+Q4784882
@@ Property / cites work: Q4784882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485141
@@ Property / cites work: Q4485141 / rank @@
+Normal rank
@@ Property / cites work @@
+On fuzzy unfolding: A multi-adjoint approach
@@ Property / cites work: On fuzzy unfolding: A multi-adjoint approach / rank @@
+Normal rank
@@ Property / cites work @@
+Proximity-based unification theory
@@ Property / cites work: Proximity-based unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+A sound and complete semantics for a similarity-based logic programming language
+Normal rank
@@ Property / cites work @@
+Fixed point theorems in logic programming
@@ Property / cites work: Fixed point theorems in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+Normal rank
@@ Property / cites work @@
+Beyond multi-adjoint logic programming
@@ Property / cites work: Beyond multi-adjoint logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Logic Programming Revisited
@@ Property / cites work: Quantitative Logic Programming Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A declarative semantics for CLP with qualification and proximity
+Normal rank
@@ Property / cites work @@
+Approximate reasoning by similarity-based SLD resolution.
+Normal rank
@@ Property / cites work @@
+Q3435472
@@ Property / cites work: Q3435472 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Quantitative deduction and its fixpoint theory
@@ Property / cites work: Quantitative deduction and its fixpoint theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for approximate reasoning
@@ Property / cites work: A logic for approximate reasoning / rank @@
+Normal rank