Fuzzy answer set computation via satisfiability modulo theories (Q4592999): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WASP
@@ Property / describes a project that uses: WASP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cmodels
@@ Property / describes a project that uses: Cmodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gringo
@@ Property / describes a project that uses: Gringo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLV
@@ Property / describes a project that uses: DLV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+fasp2smt
@@ Property / describes a project that uses: fasp2smt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03920
@@ Property / arXiv ID: 1507.03920 / rank @@
+Normal rank