Probabilistic Theorem Proving

14 February 2012

Papers citing "Probabilistic Theorem Proving"

50 / 60 papers shown

Title
Compression versus Accuracy: A Hierarchy of Lifted Models Jan Speller Malte Luttermann Marcel Gehrke Tanya Braun 45 0 0 28 May 2025
Towards Practical First-Order Model Counting Ananth K. Kidambi Guramrit Singh Paulius Dilkas Kuldeep S. Meel LRM 35 0 0 17 Feb 2025
Bridging Weighted First Order Model Counting and Graph Polynomials Qipeng Kuang Ondrej Kuzelka Yuanhong Wang Yuyi Wang 65 0 0 16 Jul 2024
Lifted Inference beyond First-Order Logic Sagar Malhotra D. Bizzaro Luciano Serafini 100 3 0 22 Aug 2023
Lifted Algorithms for Symmetric Weighted First-Order Model Sampling Yuanhong Wang Juhua Pu Yuyi Wang Ondrej Kuzelka TPM 41 5 0 17 Aug 2023
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures Paulius Dilkas Vaishak Belle LRM 45 5 0 07 Jun 2023
Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini 35 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 71 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 42 0 0 01 Feb 2022
First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs Nitesh Kumar Ondrej Kuzelka Luc de Raedt 32 3 0 26 Jan 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini 59 9 0 12 Oct 2021
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules Steve Kommrusch Monperrus Martin L. Pouchet 67 9 0 22 Sep 2021
Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models Steven J Kommrusch Théo Barollet L. Pouchet 35 5 0 01 Jun 2021
Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula Sagar Malhotra Luciano Serafini TPM 27 0 0 25 Sep 2020
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers Ondrej Kuzelka 48 21 0 10 Jul 2020
Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform Ondrej Kuzelka 31 3 0 04 Jun 2020
Explainable AI for Classification using Probabilistic Logic Inference Xiuyi Fan Siyuan Liu T. Henderson 36 2 0 05 May 2020
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model Steve Kommrusch Théo Barollet L. Pouchet 119 6 0 17 Feb 2020
On the Approximability of Weighted Model Integration on DNF Structures Ralph Abboud .Ismail .Ilkan Ceylan Radoslav Dimitrov TPM 63 5 0 17 Feb 2020
A Critical Look at the Applicability of Markov Logic Networks for Music Signal Analysis Johan Pauwels Gyorgy Fazekas Mark Sandler 22 0 0 16 Jan 2020
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry T. Bremen Ondrej Kuzelka TPM 36 7 0 15 Jan 2020
Domain-Liftability of Relational Marginal Polytopes Ondrej Kuzelka Yuyi Wang 32 4 0 15 Jan 2020
Exploring Unknown Universes in Probabilistic Relational Models Tanya Braun Ralf Möller 37 2 0 07 Jan 2020
On Open-Universe Causal Reasoning D. Ibeling Thomas Icard LRM AI4CE 51 9 0 04 Jul 2019
Generating and Sampling Orbits for Lifted Probabilistic Inference Steven Holtzen T. Millstein Guy Van den Broeck 133 10 0 12 Mar 2019
Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm Tanya Braun Ralf Möller 36 1 0 02 Jul 2018
Polynomial-time probabilistic reasoning with partial observations via implicit learning in probability logics Brendan Juba TPM 35 1 0 28 Jun 2018
State-Space Abstractions for Probabilistic Inference: A Systematic Review Stefan Lüdtke Max Schröder Frank Krüger Sebastian Bader T. Kirste 27 10 0 18 Apr 2018
Lifted Filtering via Exchangeable Decomposition Stefan Lüdtke Max Schröder Sebastian Bader Kristian Kersting T. Kirste 54 8 0 31 Jan 2018
Domain Recursion for Lifted Inference with Existential Quantifiers Seyed Mehran Kazemi Angelika Kimmig Guy Van den Broeck David Poole 51 12 0 24 Jul 2017
Sequential Lifted Bayesian Filtering in Multiset Rewriting Systems Max Schröder Stefan Lüdtke Sebastian Bader Frank Krüger T. Kirste 33 2 0 20 Jul 2017
Quantum Enhanced Inference in Markov Logic Networks P. Wittek C. Gogolin LRM 60 28 0 24 Nov 2016
New Liftable Classes for First-Order Probabilistic Inference Seyed Mehran Kazemi Angelika Kimmig Guy Van den Broeck David Poole LRM 54 37 0 26 Oct 2016
Lifted Region-Based Belief Propagation David B. Smith Parag Singla Vibhav Gogate 33 1 0 30 Jun 2016
Contextual Symmetries in Probabilistic Graphical Models Ankit Anand Aditya Grover Mausam Parag Singla 75 13 0 30 Jun 2016
Why is Compiling Lifted Inference into a Low-Level Language so Effective? Seyed Mehran Kazemi David Poole 24 5 0 14 Jun 2016
Probabilistic Inference Modulo Theories Rodrigo de Salvo Braz Ciaran O'Reilly Vibhav Gogate R. Dechter LRM 46 36 0 26 May 2016
Markov Logic Networks for Natural Language Question Answering Tushar Khot Niranjan Balasubramanian Eric Gribkoff Ashish Sabharwal Peter Clark Oren Etzioni 64 18 0 10 Jul 2015
Representing Meaning with a Combination of Logical and Distributional Models Iz Beltagy Stephen Roller Pengxiang Cheng K. Erk Raymond J. Mooney NAI 72 55 0 26 May 2015
Symmetric Weighted First-Order Model Counting P. Beame Guy Van den Broeck Eric Gribkoff Dan Suciu 115 71 0 03 Dec 2014
Approximate Lifted Inference with Probabilistic Databases Wolfgang Gatterbauer Dan Suciu TPM 79 21 0 02 Dec 2014
Markov Chains on Orbits of Permutation Groups Mathias Niepert 121 63 0 09 Aug 2014
Lifted Tree-Reweighted Variational Inference Hung Bui Tuyen N. Huynh David Sontag 66 10 0 17 Jun 2014
Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting Eric Gribkoff Guy Van den Broeck Dan Suciu 67 27 0 13 May 2014
Lifted Variable Elimination: Decoupling the Operators from the Constraint Language N. Taghipour Daan Fierens Jesse Davis Hendrik Blockeel 120 76 0 04 Feb 2014
Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference Mathias Niepert Guy Van den Broeck TPM 156 77 0 07 Jan 2014
Skolemization for Weighted First-Order Model Counting Guy Van den Broeck Wannes Meert Adnan Darwiche 121 102 0 19 Dec 2013
On the Complexity and Approximation of Binary Evidence in Lifted Inference Guy Van den Broeck Adnan Darwiche 94 57 0 26 Nov 2013
Dissociation and Propagation for Approximate Lifted Inference with Standard Relational Database Management Systems Wolfgang Gatterbauer Dan Suciu 98 21 0 23 Oct 2013
Structured Message Passing Vibhav Gogate Pedro M. Domingos TPM 91 20 0 26 Sep 2013