Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
G. Charwat, W. Dvorak:
"dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Wien;
10.09.2012
- 12.09.2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012",
B. Verheij, St. Szeider, S. Woltran (Hrg.);
Frontiers in Artificial Intelligence and Applications / IOS Press,
245
(2012),
ISBN: 978-1-61499-110-6;
S. 507
- 508.
Kurzfassung englisch:
Most reasoning tasks in abstract argumentation are in general computationally hard. One approach of dealing with such problems stems from the field of parameterized complexity theory. For so-called fixed-parameter tractable algorithms, one identifies problem parameters, e.g. the graph parameter tree width, such that the run-time of algorithms heavily scales with the parameter but only polynomially with the input size. The dynPARTIX system turns these fixed-parameter tractability results into practice by implementing dynamic programming algorithms for the graph parameter tree width.
Schlagworte:
abstract argumentation, tree-width, fixed-parameter tractability, algorithms
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.3233/978-1-61499-111-3-507
Zugeordnete Projekte:
Projektleitung Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.