no code implementations • 22 Jul 2019 • Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
Arguably, ASP(Q) allows one to model problems in the Polynomial Hierarchy in a direct way, providing an elegant expansion of ASP beyond the class NP.