@inproceedings{LehtonenWJ:AAAI2019, author = {Tuomo Lehtonen and Johannes P. Wallner and Matti J\"arvisalo}, title = {Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings}, booktitle = {Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019)}, pages = {2938--2945}, publisher = {AAAI Press}, year = {2019}, } Abstract: 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 by encoding ABA reasoning tasks in answer set programming. This significantly improves on the empirical performance of current ABA reasoning systems. 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.