Qualified Logic Programming with Bivalued Predicates (Q2808238): 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.2009.07.060
+Normal rank
@@ Property / OpenAlex ID @@
+W2014489281
@@ Property / OpenAlex ID: W2014489281 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Prolog: A new approach using soft constraints propagation
+Normal rank
@@ Property / cites work @@
+Similarity-based SLD resolution and its role for web knowledge discovery
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736480
@@ Property / cites work: Q4736480 / rank @@
+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 @@
+Quantitative Logic Programming Revisited
@@ Property / cites work: Quantitative Logic Programming Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning by similarity-based SLD resolution.
+Normal rank
@@ Property / cites work @@
+Q4268472
@@ Property / cites work: Q4268472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817650
@@ Property / cites work: Q3817650 / rank @@
+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