2012 IEEE 24th International Conference on Tools with Artificial Intelligence (2011)
Boca Raton, Florida USA
Nov. 7, 2011 to Nov. 9, 2011
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.
dynamic programming, answer set programming, tree decomposition
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