Talks and Poster Presentations (with Proceedings-Entry):
T. Lehtonen, J. P. Wallner, M. Järvisalo:
"From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning";
Talk: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU),
- 07-14-2017; in: "Proceedings of Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017)",
A. Antonucci, L. Cholvy, O. Papini (ed.);
We study the applicability of abstract argumentation (AF) reasoners in efficiently answering acceptability queries over assumption-based argumentation (ABA) frameworks, one of the prevalent forms of structured argumentation. We rovide a refined algorithm for translating ABA frameworks to AFs allowing using AF reasoning to answer ABA cceptability queries, covering credulous and skeptical acceptance problems over ABAs in a seamless way under several argumentation semantics. We empirically show that the approach is complementary with a state-of-the-art ABA reasoning system.
"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.