A New Tree−Decomposition Based Algorithm for Answer Set Programming
Michael Morak‚ Nysret Musliu‚ Reinhard Pichler‚ Stefan Rümmele and Stefan Woltran
Book Title
IEEE 23rd International Conference on Tools with Artificial Intelligence‚ ICTAI 2011‚ Boca Raton‚ FL‚ USA‚ November 7−9‚ 2011
ISBN
978−1−4577−2068−0
Pages
916–918
Publisher
IEEE Computer Society
Year
2011