Towards fixed-parameter tractable algorithms for abstract argumentation (Q1761281): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2012.03.005
@@ Property / DOI: 10.1016/j.artint.2012.03.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ComputeTW
@@ Property / describes a project that uses: ComputeTW / 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.2012.03.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2042586976
@@ Property / OpenAlex ID: W2042586976 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for treewidth
@@ Property / cites work: Approximation algorithms for treewidth / rank @@
+Normal rank
@@ Property / cites work @@
+Directed path-width and monotonicity in digraph searching
+Normal rank
@@ Property / cites work @@
+Q3160990
@@ Property / cites work: Q3160990 / rank @@
+Normal rank
@@ Property / cites work @@
+SCC-recursiveness: a general schema for argumentation semantics
+Normal rank
@@ Property / cites work @@
+DAG-Width and Parity Games
@@ Property / cites work: DAG-Width and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Treewidth computations. I: Upper bounds
@@ Property / cites work: Treewidth computations. I: Upper bounds / rank @@
+Normal rank
@@ Property / cites work @@
+Safe separators for treewidth
@@ Property / cites work: Safe separators for treewidth / 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 @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Handle-rewriting hypergraph grammars
@@ Property / cites work: Handle-rewriting hypergraph grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+Subexponential parameterized algorithms on bounded-genus graphs and             <i>H</i>             -minor-free graphs
+Normal rank
@@ Property / cites work @@
+Graph theoretical structures in logic programs and default theories
+Normal rank
@@ Property / cites work @@
+Q4540006
@@ Property / cites work: Q4540006 / 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 @@
+Computing ideal sceptical argumentation
@@ Property / cites work: Computing ideal sceptical argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Computational properties of argument systems satisfying graph-theoretic constraints
+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 @@
+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 @@
+Transition graphs and the star-height of regular events
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Digraph measures: Kelly decompositions, games, and orderings
+Normal rank
@@ Property / cites work @@
+Directed tree-width
@@ Property / cites work: Directed tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Treewidth. Computations and approximations
@@ Property / cites work: Treewidth. Computations and approximations / rank @@
+Normal rank
@@ Property / cites work @@
+An Iterative Heuristic Algorithm for Tree Decomposition
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Safe reduction rules for weighted treewidth
@@ Property / cites work: Safe reduction rules for weighted treewidth / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2012.03.005
@@ Property / DOI: 10.1016/J.ARTINT.2012.03.005 / rank @@
+Normal rank