×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Main Field

Software