Talks and Poster Presentations (with Proceedings-Entry):
"Splitting Abstract Dialectical Frameworks";
Talk: COMMA - International Conference on Computational Models of Argument,
- 09-12-2014; in: "Computational Models of Argument",
S. Parsons, N. Oren, Ch. Reed, F. Cerutti (ed.);
Among the abundance of generalizations of abstract argumentation frameworks, the formalism of abstract dialectical frameworks (ADFs) proved to be powerful in modelling various argumentation problems. Implementations of reasoning tasks that come within ADFs struggle with their high computational complexity. Thus methods simplifying the evaluation process are required. One such method is splitting, which was shown to be an effective optimization technique in other nonmonotonic formalisms. We apply this approach to ADFs by providing suitable techniques for directional splitting (allowing links only from the first to the second part of the splitting) under all the standard semantics of ADFs as well as preliminary results on general splitting.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.