A comparison of fuzzy and annotated logic programming (Q1827314): 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.fss.2003.10.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2084254022
@@ Property / OpenAlex ID: W2084254022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767117
@@ Property / cites work: Q2767117 / rank @@
+Normal rank
@@ Property / cites work @@
+Evidential support logic programming
@@ Property / cites work: Evidential support logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Q4536316
@@ Property / cites work: Q4536316 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid probabilistic programs
@@ Property / cites work: Hybrid probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets in approximate reasoning. II: Logical approaches
+Normal rank
@@ Property / cites work @@
+Q4707752
@@ Property / cites work: Q4707752 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+An annotated logic theorem prover for an extended possibilistic logic
+Normal rank
@@ Property / cites work @@
+Logic programming with signs and annotations
@@ Property / cites work: Logic programming with signs and annotations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790641
@@ Property / cites work: Q4790641 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning by similarity-based SLD resolution.
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank