Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Morak, R. Pichler, St. Rümmele, S. Woltran:
"A Dynamic-Programming Based ASP-Solver";
Vortrag: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010),
Helsinki, Finland;
13.09.2010
- 15.09.2010; in: "Lecture Notes in Artificial Intelligence",
R. Goebel, J. Siekmann, W. Wahlster (Hrg.);
Springer,
6341
(2010),
ISBN: 978-3-642-15674-8;
S. 369
- 372.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-15675-5_34
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.