Zhang, Zhizheng; Wang, Bin; Zhang, Shutao Logic programming with graded introspection. (English) Zbl 1375.68038 Fundam. Inform. 147, No. 1, 133-158 (2016). MSC: 68N17 68T27 68T30 PDFBibTeX XMLCite \textit{Z. Zhang} et al., Fundam. Inform. 147, No. 1, 133--158 (2016; Zbl 1375.68038) Full Text: DOI
Fandinno, Jorge Towards deriving conclusions from cause-effect relations. (English) Zbl 1373.68171 Fundam. Inform. 147, No. 1, 93-131 (2016). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{J. Fandinno}, Fundam. Inform. 147, No. 1, 93--131 (2016; Zbl 1373.68171) Full Text: DOI
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten Answer set programming modulo acyclicity. (English) Zbl 1373.68170 Fundam. Inform. 147, No. 1, 63-91 (2016). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Bomanson} et al., Fundam. Inform. 147, No. 1, 63--91 (2016; Zbl 1373.68170) Full Text: DOI
Bliem, Bernhard; Charwat, Günther; Hecher, Markus; Woltran, Stefan D-FLAT\(^\wedge\)2: subset minimization in dynamic programming on tree decompositions made easy. (English) Zbl 1374.68490 Fundam. Inform. 147, No. 1, 27-61 (2016). MSC: 68T20 90C39 PDFBibTeX XMLCite \textit{B. Bliem} et al., Fundam. Inform. 147, No. 1, 27--61 (2016; Zbl 1374.68490) Full Text: DOI
Abseher, Michael; Gebser, Martin; Musliu, Nysret; Schaub, Torsten; Woltran, Stefan Shift design with answer set programming. (English) Zbl 1373.68169 Fundam. Inform. 147, No. 1, 1-25 (2016). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Abseher} et al., Fundam. Inform. 147, No. 1, 1--25 (2016; Zbl 1373.68169) Full Text: DOI
Inclezan, Daniela (ed.); Maratea, Marco (ed.); Marek, Victor (ed.) Eighth ASPOCP international workshop on “Answer set programming and other computing paradigms”. (English) Zbl 1376.00046 Fundam. Inform. 147, No. 1, v-vii (2016). MSC: 00B25 68-06 68N17 PDFBibTeX XMLCite \textit{D. Inclezan} (ed.) et al., Fundam. Inform. 147, No. 1, v-vii (2016; Zbl 1376.00046) Full Text: DOI