Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten plasp 3: towards effective ASP planning. (English) Zbl 1472.68182 Theory Pract. Log. Program. 19, No. 3, 477-504 (2019). MSC: 68T20 68N17 68T30 PDFBibTeX XMLCite \textit{Y. Dimopoulos} et al., Theory Pract. Log. Program. 19, No. 3, 477--504 (2019; Zbl 1472.68182) Full Text: DOI
Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab Writing declarative specifications for clauses. (English) Zbl 1483.68378 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 256-271 (2016). MSC: 68T27 68N17 68R07 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 10021, 256--271 (2016; Zbl 1483.68378) Full Text: DOI
Alviano, Mario; Faber, Wolfgang; Gebser, Martin Rewriting recursive aggregates in answer set programming: back to monotonicity. (English) Zbl 1379.68034 Theory Pract. Log. Program. 15, No. 4-5, 559-573 (2015). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 15, No. 4--5, 559--573 (2015; Zbl 1379.68034) Full Text: DOI arXiv
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi SAT modulo graphs: acyclicity. (English) Zbl 1432.68328 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 137-151 (2014). MSC: 68R07 68R10 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 8761, 137--151 (2014; Zbl 1432.68328) Full Text: DOI
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten Conflict-driven answer set solving: from theory to practice. (English) Zbl 1251.68060 Artif. Intell. 187-188, 52-89 (2012). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{M. Gebser} et al., Artif. Intell. 187--188, 52--89 (2012; Zbl 1251.68060) Full Text: DOI
Gebser, Martin; Lee, Joohyung; Lierler, Yuliya On elementary loops of logic programs. (English) Zbl 1242.68050 Theory Pract. Log. Program. 11, No. 6, 953-988 (2011). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Gebser} et al., Theory Pract. Log. Program. 11, No. 6, 953--988 (2011; Zbl 1242.68050) Full Text: DOI arXiv