Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653): Difference between revisions

@@ Property / cites work @@
+Q4364365
@@ Property / cites work: Q4364365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766777
@@ Property / cites work: Q2766777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471989
@@ Property / cites work: Q4471989 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules + strategies for transforming lazy functional logic programs
+Normal rank
@@ Property / cites work @@
+Basic transformation operations which preserve computed answer substitutions of logic programs
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / 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 @@
+Preservation of stronger equivalence in unfold/fold logic program transformation
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Logic and the Resolution Principle
@@ Property / cites work: Fuzzy Logic and the Resolution Principle / rank @@
+Normal rank
@@ Property / cites work @@
+A fuzzy proof theory
@@ Property / cites work: A fuzzy proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+Normal rank
@@ Property / cites work @@
+Q4736480
@@ Property / cites work: Q4736480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422112
@@ Property / cites work: Q4422112 / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2006: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Programming with Fuzzy Logic and Mathematical Functions
+Normal rank
@@ Property / cites work @@
+Transformation of logic programs: Foundations and techniques
+Normal rank