5 citations · 15 across the 9 of their papers we have counts for
1 paper · 1 filter
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Weighted model counting (WMC) is a well-known inference task on knowledge bases, used for probabilistic inference in graphical models. We introduce algebraic model counting (AMC),…