Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653): 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.entcs.2008.10.032
+Normal rank
@@ Property / OpenAlex ID @@
+W2078972796
@@ Property / OpenAlex ID: W2078972796 / rank @@
+Normal rank
@@ 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