Talks and Poster Presentations (with Proceedings-Entry):
W. Dvorak, St. Szeider, S. Woltran:
"Abstract Argumentation via Monadic Second Order Logic";
Talk: International Conference on Scalable Uncertainty Management (SUM),
- 09-19-2012; in: "Proceedings of Sixth International Conference on Scalable Uncertainty Management (SUM 2012)",
E. Hüllermeier, S. Link, T. Fober, B. Seeger (ed.);
Lecture Notes in Computer Science / Springer,
We propose the formalism of Monadic Second Order Logic (MSO) as a unifying framework for representing and reasoning with various semantics of abstract argumentation. We express a wide range of semantics within the pro- posed framework, including the standard semantics due to Dung, semi-stable, stage, cf2, and resolution-based semantics. We provide building blocks which make it easy and straight-forward to express further semantics and reasoning tasks. Our results show that MSO can serve as a lingua franca for abstract argu- mentation that directly yields to complexity results. In particular, we obtain that for argumentation frameworks with certain structural properties the main compu- tational problems with respect to MSO-expressible semantics can all be solved in linear time. Furthermore, we provide a novel characterization of resolution-based grounded semantics.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Project Head Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen
Created from the Publication Database of the Vienna University of Technology.