3 citations · 3 across the 1 of their papers we have counts for
1 paper
Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski
Answer Set Programming with Quantifiers (ASP(Q)) has been introduced to provide a natural extension of ASP modeling to problems in the polynomial hierarchy (PH). However, ASP(Q) la…