The Community for Technology Leaders
2012 IEEE 24th International Conference on Tools with Artificial Intelligence (2011)
Boca Raton, Florida USA
Nov. 7, 2011 to Nov. 9, 2011
ISSN: 1082-3409
ISBN: 978-0-7695-4596-7
pp: 916-918
ABSTRACT
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.
INDEX TERMS
dynamic programming, answer set programming, tree decomposition
CITATION
Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Michael Morak, Stefan Woltran, "A New Tree-Decomposition Based Algorithm for Answer Set Programming", 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, vol. 00, no. , pp. 916-918, 2011, doi:10.1109/ICTAI.2011.154
115 ms
(Ver )