Talks and Poster Presentations (with Proceedings-Entry):
T. Lehtonen, J. P. Wallner, M. Järvisalo:
"Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings";
Talk: AAAI Conference,
- 2019-02-01; in: "Proceedings AAAI 2019",
P. Van Hentenryck, Z. Zhou (ed.);
Focusing on assumption-based argumentation (ABA) as a central structured formalism to AI argumentation, we propose a new approach to reasoning in ABA with and without preferences. While previous approaches apply either specialized algorithms or translate ABA reasoning to reasoning over abstract argumentation frameworks, we develop a direct approach to ABA reasoning by encoding ABA reasoning tasks in answer set programming. Our approach significantly improves on the empirical performance of current ABA reasoning systems. Furthermore, while the complexity of reasoning over ABA frameworks is well-understood, the complexity of reasoning in the ABA+ formalism integrating preferences into ABA is currently less understood. Towards bridging this gap, we also give new complexity results for reasoning in ABA+, suggesting that the integration of preferential information into ABA results in increased problem complexity for several central argumentation semantics.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Project Head Johannes Peter Wallner:
Project Head Stefan Woltran:
Neue Werkzeuge für graphenbasierte formale Argumentation
Created from the Publication Database of the Vienna University of Technology.