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)
http://dx.doi.org/10.1007/978-3-642-15675-5_34
Created from the Publication Database of the Vienna University of Technology.