Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597): 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.ijar.2013.10.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2147395187
@@ Property / OpenAlex ID: W2147395187 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+A core language for fuzzy answer set programming
@@ Property / cites work: A core language for fuzzy answer set programming / 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 @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798022
@@ Property / cites work: Q4798022 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic foundation of stable model semantics
@@ Property / cites work: Epistemic foundation of stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Possibility theory, probability theory and multiple-valued logics: a clarification
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability in many-valued sentential logic is NP-complete
+Normal rank
@@ Property / cites work @@
+Q4955341
@@ Property / cites work: Q4955341 / rank @@
+Normal rank
@@ Property / cites work @@
+On the failure of the finite model property in some fuzzy description logics
+Normal rank
@@ Property / cites work @@
+On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
+Normal rank
@@ Property / cites work @@
+Fuzzy Equilibrium Logic
@@ Property / cites work: Fuzzy Equilibrium Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An extended branch and bound algorithm for linear bilevel programming
+Normal rank
@@ Property / cites work @@
+A Branch and Bound Algorithm for the Bilevel Programming Problem
+Normal rank
@@ Property / cites work @@
+General Fuzzy Answer Set Programs
@@ Property / cites work: General Fuzzy Answer Set Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
+Normal rank
@@ Property / cites work @@
+Non-monotonic fuzzy reasoning
@@ Property / cites work: Non-monotonic fuzzy reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial reasoning in a fuzzy region connection calculus
+Normal rank
@@ Property / cites work @@
+New Results on the Complexity of <i>p</i>-Centre Problems
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence and unicity of stable models in normal residuated logic programs
+Normal rank
@@ Property / cites work @@
+Q5450126
@@ Property / cites work: Q5450126 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Practical bilevel optimization. Algorithms and applications
+Normal rank