Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran:
"A New Tree-Decomposition Based Algorithm for Answer Set Programming";
Poster: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence,
Boca Raton, Florida USA;
07.11.2011
- 09.11.2011; in: "2011 IEEE 23rd International Conference on Tools with Artificial Intelligence",
T. M. Khoshgoftaar, X. Zhu (Hrg.);
(2011),
ISSN: 1082-3409;
S. 916
- 918.
Kurzfassung englisch:
A promising approach to tackle intractable problems is given by combining decomposition methods with dynamic programming algorithms. One such decomposition concept is tree decomposition. In this paper, we provide a new algorithm using this combined approach for solving reasoning problems in propositional answer set programming.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/ICTAI.2011.154
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.