Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.

Georg Gottlob, Reinhard Pichler, Fang Wei

Browse the full AAAI paper archive.