Probabilistic Theorem Proving

14 February 2012

Papers citing "Probabilistic Theorem Proving"

21 / 21 papers shown

Title
Lifted Inference beyond First-Order Logic Sagar Malhotra D. Bizzaro Luciano Serafini 29 3 0 22 Aug 2023
Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini 11 2 0 20 Feb 2023
Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective Peter Baumgartner Daniel V. Smith Mashud Rana Reena Kapoor Elena Tartaglia A. Schutt Ashfaqur Rahman John Taylor S. Dunstall 29 4 0 04 Oct 2022
Activity Recognition in Assembly Tasks by Bayesian Filtering in Multi-Hypergraphs Timon Felske Stefan Lüdtke Sebastian Bader T. Kirste 11 0 0 01 Feb 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini 17 9 0 12 Oct 2021
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model Steve Kommrusch Théo Barollet L. Pouchet 30 6 0 17 Feb 2020
Generating and Sampling Orbits for Lifted Probabilistic Inference Steven Holtzen T. Millstein Guy Van den Broeck 19 10 0 12 Mar 2019
New Liftable Classes for First-Order Probabilistic Inference Seyed Mehran Kazemi Angelika Kimmig Guy Van den Broeck David Poole LRM 17 37 0 26 Oct 2016
Contextual Symmetries in Probabilistic Graphical Models Ankit Anand Aditya Grover Mausam Parag Singla 38 13 0 30 Jun 2016
Symmetric Weighted First-Order Model Counting P. Beame Guy Van den Broeck Eric Gribkoff Dan Suciu 25 71 0 03 Dec 2014
Approximate Lifted Inference with Probabilistic Databases Wolfgang Gatterbauer Dan Suciu TPM 31 21 0 02 Dec 2014
Markov Chains on Orbits of Permutation Groups Mathias Niepert 69 63 0 09 Aug 2014
Lifted Variable Elimination: Decoupling the Operators from the Constraint Language N. Taghipour Daan Fierens Jesse Davis Hendrik Blockeel 21 74 0 04 Feb 2014
Skolemization for Weighted First-Order Model Counting Guy Van den Broeck Wannes Meert Adnan Darwiche 38 102 0 19 Dec 2013
On the Complexity and Approximation of Binary Evidence in Lifted Inference Guy Van den Broeck Adnan Darwiche 46 57 0 26 Nov 2013
Dissociation and Propagation for Approximate Lifted Inference with Standard Relational Database Management Systems Wolfgang Gatterbauer Dan Suciu 53 21 0 23 Oct 2013
Automorphism Groups of Graphical Models and Lifted Variational Inference Hung Bui Tuyen N. Huynh Sebastian Riedel 39 73 0 26 Sep 2013
First-Order Decomposition Trees N. Taghipour Jesse Davis Hendrik Blockeel 47 20 0 04 Jun 2013
RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models Jan Nößner Mathias Niepert Heiner Stuckenschmidt 41 105 0 16 Apr 2013
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference Guy Van den Broeck Arthur Choi Adnan Darwiche 49 39 0 16 Oct 2012
Lifted Graphical Models: A Survey Lilyana Mihalkova Lise Getoor 3DV 82 96 0 25 Jul 2011