Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591): Difference between revisions

@@ Property / author @@
-Sandra Aparecida Sandri
@@ Property / author: Sandra Aparecida Sandri / rank @@
-Normal rank
@@ Property / author @@
+Sandra Aparecida Sandri
@@ Property / author: Sandra Aparecida Sandri / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FRIL
@@ Property / describes a project that uses: FRIL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KOMET
@@ Property / describes a project that uses: KOMET / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q61918789
@@ Property / Wikidata QID: Q61918789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784883
@@ Property / cites work: Q4784883 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+An annotated logic theorem prover for an extended possibilistic logic
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80511-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1479890383
@@ Property / OpenAlex ID: W1479890383 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/entcs/AlsinetGS02
@@ Property / DBLP publication ID: journals/entcs/AlsinetGS02 / rank @@
+Normal rank