An Efficient Solver for ASP(Q)

Wolfgang Faber 0001, Giuseppe Mazzotta, Francesco Ricca. An Efficient Solver for ASP(Q). TPLP, 23(4):948-964, July 2023. [doi]

Abstract

Abstract is missing.