Talks and Poster Presentations (with Proceedings-Entry):

M. Morak, R. Pichler, St. Rümmele, S. Woltran:
"A Dynamic-Programming Based ASP-Solver";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "Lecture Notes in Artificial Intelligence", R. Goebel, J. Siekmann, W. Wahlster (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 369 - 372.

English abstract:
We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs from standard ASP-solvers which implement techniques stemming from SAT or CSP.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.