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

@@ 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
@@ Property / cites work @@
+MetiTarski: An automatic theorem prover for real-valued special functions
+Normal rank
@@ Property / cites work @@
+Fuzzy answer sets approximations
@@ Property / cites work: Fuzzy answer sets approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered completion for first-order logic programs on finite structures
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Complexity of fuzzy answer set programming under Łukasiewicz semantics
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
+Normal rank
@@ Property / cites work @@
+Reducing fuzzy answer set programming to model finding in fuzzy logics
+Normal rank
@@ Property / cites work @@
+Stable Models of Fuzzy Propositional Formulas
@@ Property / cites work: Stable Models of Fuzzy Propositional Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in logic programming: A new definition and an abductive procedure based on rewriting
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283029
@@ Property / cites work: Q5283029 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Stable models and difference logic
@@ Property / cites work: Stable models and difference logic / rank @@
+Normal rank
@@ 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 @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / OpenAlex ID @@
+W1682721953
@@ Property / OpenAlex ID: W1682721953 / rank @@
+Normal rank