Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (Q5504667): Difference between revisions

@@ Property / cites work @@
+An introduction to fuzzy answer set programming
@@ Property / cites work: An introduction to fuzzy answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued logic and mixed integer programming
@@ Property / cites work: Many-valued logic and mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed integer programming methods for computing nonmonotonic deductive databases
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank