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

Georg Gottlob Reinhard Pichler Fang Wei

Published in: AAAI (2008)

Keyphrases

efficient computation
monadic datalog
bounded treewidth
np complete
tractable cases
computational efficiency
tractable classes
decision problems
conjunctive queries
boolean functions
machine learning
computational complexity
logic programming
background knowledge
relational learning