2 papers
cs.AI2026
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Giovanni Buraglio, Wolfgang Dvorak, Stefan Woltran
Strong equivalence between knowledge bases ensures the possibility of replacing one with the other without affecting reasoning outcomes, in any given context. This makes it a cruci…
cs.AI2026
Splitting Assumption-Based Argumentation Frameworks
Giovanni Buraglio, Wolfgang Dvorak, Stefan Woltran
Assumption-Based Argumentation (ABA) is a well-established formalism for modelling and reasoning over debates, with a wide range of applications. However, the high computational co…