Complexity-sensitive decision procedures for abstract argumentation (Q490451): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2013.10.001
@@ Property / DOI: 10.1016/j.artint.2013.10.001 / 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 @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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 @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mjollnir
@@ Property / describes a project that uses: Mjollnir / rank @@
+Normal rank
@@ 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.artint.2013.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2011844594
@@ Property / OpenAlex ID: W2011844594 / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Coherence in finite argument systems.
@@ Property / cites work: Coherence in finite argument systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of semi-stable and stage semantics in argumentation frameworks
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Computational properties of argument systems satisfying graph-theoretic constraints
+Normal rank
@@ Property / cites work @@
+Towards fixed-parameter tractable algorithms for abstract argumentation
+Normal rank
@@ Property / cites work @@
+Augmenting tractable fragments of abstract argumentation
+Normal rank
@@ Property / cites work @@
+Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Graph theoretical structures in logic programs and default theories
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+On the Intertranslatability of Argumentation Semantics
+Normal rank
@@ Property / cites work @@
+Spectral Theory and Analysis
@@ Property / cites work: Spectral Theory and Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of ideal semantics
@@ Property / cites work: The computational complexity of ideal semantics / rank @@
+Normal rank
@@ Property / cites work @@
+NP is as easy as detecting unique solutions
@@ Property / cites work: NP is as easy as detecting unique solutions / rank @@
+Normal rank
@@ Property / cites work @@
+A logical account of formal argumentation
@@ Property / cites work: A logical account of formal argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Complex optimization in answer set programming
@@ Property / cites work: Complex optimization in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809077
@@ Property / cites work: Q4809077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804899
@@ Property / cites work: Q4804899 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
+Normal rank
@@ Property / cites work @@
+Abstraction-Based Algorithm for 2QBF
@@ Property / cites work: Abstraction-Based Algorithm for 2QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Solving QBF with Counterexample Guided Refinement
@@ Property / cites work: Solving QBF with Counterexample Guided Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A QBF-based formalization of abstract argumentation semantics
+Normal rank
@@ Property / cites work @@
+Q4540006
@@ Property / cites work: Q4540006 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting an Argumentation Framework
@@ Property / cites work: Splitting an Argumentation Framework / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Splitting: A Simple Modification-Based Approach
+Normal rank
@@ Property / cites work @@
+On bipolarity in argumentation frameworks
@@ Property / cites work: On bipolarity in argumentation frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about preferences in argumentation frameworks
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2013.10.001
@@ Property / DOI: 10.1016/J.ARTINT.2013.10.001 / rank @@
+Normal rank