Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw Beyond NP: quantifying over answer sets. (English) Zbl 1434.68068 Theory Pract. Log. Program. 19, No. 5-6, 705-721 (2019). MSC: 68N17 68Q15 PDFBibTeX XMLCite \textit{G. Amendola} et al., Theory Pract. Log. Program. 19, No. 5--6, 705--721 (2019; Zbl 1434.68068) Full Text: DOI arXiv
Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab Stable-unstable semantics: beyond NP with normal logic programs. (English) Zbl 1379.68044 Theory Pract. Log. Program. 16, No. 5-6, 570-586 (2016). MSC: 68N17 68Q15 68T20 PDFBibTeX XMLCite \textit{B. Bogaerts} et al., Theory Pract. Log. Program. 16, No. 5--6, 570--586 (2016; Zbl 1379.68044) Full Text: DOI arXiv
Slota, Martin; Leite, João The rise and fall of semantic rule updates based on SE-models. (English) Zbl 1302.68254 Theory Pract. Log. Program. 14, No. 6, 869-704 (2014). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{M. Slota} and \textit{J. Leite}, Theory Pract. Log. Program. 14, No. 6, 869--704 (2014; Zbl 1302.68254) Full Text: DOI arXiv
Pearce, David; Tompits, Hans; Woltran, Stefan Characterising equilibrium logic and nested logic programs: Reductions and complexity. (English) Zbl 1186.68100 Theory Pract. Log. Program. 9, No. 5, 565-616 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Pearce} et al., Theory Pract. Log. Program. 9, No. 5, 565--616 (2009; Zbl 1186.68100) Full Text: DOI