A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954): Difference between revisions

@@ Property / describes a project that uses @@
+Likelog
@@ Property / describes a project that uses: Likelog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FRIL
@@ Property / describes a project that uses: FRIL / rank @@
+Normal rank
@@ 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.fss.2008.11.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2028137109
@@ Property / OpenAlex ID: W2028137109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266493
@@ Property / cites work: Q4266493 / 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 @@
+Fuzzy Prolog: A new approach using soft constraints propagation
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+Normal rank
@@ Property / cites work @@
+Q4485141
@@ Property / cites work: Q4485141 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning by similarity-based SLD resolution.
+Normal rank
@@ Property / cites work @@
+A logic for approximate reasoning
@@ Property / cites work: A logic for approximate reasoning / 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 @@
+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 @@
+Formal Properties of Needed Narrowing with Similarity Relations
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Similarity relations and fuzzy orderings
@@ Property / cites work: Similarity relations and fuzzy orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling Decisions for Artificial Intelligence
@@ Property / cites work: Modeling Decisions for Artificial Intelligence / 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 @@
+Fuzzy logic. Mathematical tools for approximate reasoning
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771660
@@ Property / cites work: Q3771660 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules + strategies for transforming lazy functional logic programs
+Normal rank
@@ Property / Wikidata QID @@
+Q130571643
@@ Property / Wikidata QID: Q130571643 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1037954