5 citations · 8 across the 4 of their papers we have counts for
4 papers
Domain Recursion for Lifted Inference with Existential Quantifiers
Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck +1
In recent work, we proved that the domain recursion inference rule makes domain-lifted inference possible on several relational probability models (RPMs) for which the best known t…
A Collective, Probabilistic Approach to Schema Mapping: Appendix
Angelika Kimmig, Alex Memory, Renee J. Miller +1
In this appendix we provide additional supplementary material to "A Collective, Probabilistic Approach to Schema Mapping." We include an additional extended example, supplementary…
Lazy Explanation-Based Approximation for Probabilistic Logic Programming
Joris Renkens, Angelika Kimmig, Luc De Raedt
We introduce a lazy approach to the explanation-based approximation of probabilistic logic programs. It uses only the most significant part of the program when searching for explan…
Algebraic Model Counting
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),…