Talks and Poster Presentations (with Proceedings-Entry):
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;
- 11-09-2011; in: "2011 IEEE 23rd International Conference on Tools with Artificial Intelligence",
T. M. Khoshgoftaar, X. Zhu (ed.);
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.