Efficient Datalog Abduction through Bounded Treewidth (Proceedings of the Twenty−Second AAAI Conference on Artificial Intelligence‚ July 22−26‚ 2007‚ Vancouver‚ British Columbia‚ Canada, 2007)

(untitled) - Gottlob, G; Pichler, R; Wei, F