no code implementations • 17 Apr 2024 • Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner
We make use of a semantics-preserving translation between ABA and bipolar argumentation frameworks (BAFs).
1 code implementation • 9 Aug 2021 • Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second level of the polynomial hierarchy, including skeptical reasoning under preferred semantics as well as preferential reasoning.