Andres, Benjamin; Sauer, Matthias; Gebser, Martin; Schubert, Tobias; Becker, Bernd; Schaub, Torsten Accurate computation of sensitizable paths using answer set programming. (English) Zbl 1405.68038 Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 92-101 (2013). MSC: 68N17 68M07 PDFBibTeX XMLCite \textit{B. Andres} et al., Lect. Notes Comput. Sci. 8148, 92--101 (2013; Zbl 1405.68038) Full Text: DOI
Andres, Benjamin; Gebser, Martin; Schaub, Torsten; Haubelt, Christian; Reimann, Felix; Glaß, Michael Symbolic system synthesis using answer set programming. (English) Zbl 1405.68037 Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 79-91 (2013). MSC: 68N17 68M07 PDFBibTeX XMLCite \textit{B. Andres} et al., Lect. Notes Comput. Sci. 8148, 79--91 (2013; Zbl 1405.68037) Full Text: DOI