Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
TL;DR本文研究了基于假设的论证（ABA）中逻辑编程碎片中比第二层多项式分层难度的理性推理和优先推理问题的有效算法, 利用增量 ASP 求解器中的非平凡反例引导的抽象精化程序。
Abstract
assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in par