Probabilistic Theorem Proving

14 February 2012

Papers citing "Probabilistic Theorem Proving"

10 / 60 papers shown

Title
Automorphism Groups of Graphical Models and Lifted Variational Inference Hung Bui Tuyen N. Huynh Sebastian Riedel 128 73 0 26 Sep 2013
First-Order Decomposition Trees N. Taghipour Jesse Davis Hendrik Blockeel 137 20 0 04 Jun 2013
Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic William Yang Wang Kathryn Mazaitis William W. Cohen LRM 78 105 0 10 May 2013
RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models Jan Nößner Mathias Niepert Heiner Stuckenschmidt 178 105 0 16 Apr 2013
Exploiting Uniform Assignments in First-Order MPE Udi Apsel Ronen I. Brafman 76 15 0 16 Oct 2012
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference Guy Van den Broeck Arthur Choi Adnan Darwiche 154 39 0 16 Oct 2012
Lifted Variable Elimination: A Novel Operator and Completeness Results N. Taghipour Daan Fierens Guy Van den Broeck Jesse Davis Hendrik Blockeel 60 2 0 19 Aug 2012
Relational Approach to Knowledge Engineering for POMDP-based Assistance Systems as a Translation of a Psychological Model M. Grzes Jesse Hoey Shehroz S. Khan Alex Mihailidis S. Czarnuch Daniel Jackson A. Monk 31 18 0 25 Jun 2012
Lower Complexity Bounds for Lifted Inference M. Jaeger 92 20 0 15 Apr 2012
Lifted Graphical Models: A Survey Lilyana Mihalkova Lise Getoor 3DV 170 96 0 25 Jul 2011