First-Order Decomposition Trees

Nima Taghipour, Jesse Davis, Hendrik Blockeel

Lifting attempts to speed up probabilistic inference by exploiting symmetries in the model. Exact lifted inference methods, like their propositional counterparts, work by recursive…