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),
- 09-15-2010; in: "Lecture Notes in Artificial Intelligence",
R. Goebel, J. Siekmann, W. Wahlster (ed.);
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.