Skolemization for Weighted First-Order Model Counting

v1v2 (latest)

Skolemization for Weighted First-Order Model Counting

19 December 2013

Guy Van den Broeck

ArXiv (abs)PDF HTML

Papers citing "Skolemization for Weighted First-Order Model Counting"

16 / 16 papers shown

Title
Towards Practical First-Order Model Counting Ananth K. Kidambi Guramrit Singh Paulius Dilkas Kuldeep S. Meel LRM 35 0 0 17 Feb 2025
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
An epistemic approach to model uncertainty in data-graphs S. Abriola Santiago Cifuentes María Vanina Martínez Nina Pardal Edwin Pin Baque 44 1 0 29 Sep 2021
On the Tractability of SHAP Explanations Guy Van den Broeck A. Lykov Maximilian Schleich Dan Suciu FAtt TDI 119 295 0 18 Sep 2020
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers Ondrej Kuzelka 54 21 0 10 Jul 2020
Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings Tal Friedman Guy Van den Broeck 77 22 0 24 Feb 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 34 4 0 15 Jan 2020
The Complexity of Bayesian Networks Specified by Propositional and Relational Languages Fabio Gagliardi Cozman Denis Deratani Mauá TPM 71 10 0 04 Dec 2016
Quantum Enhanced Inference in Markov Logic Networks P. Wittek C. Gogolin LRM 62 28 0 24 Nov 2016
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 81 21 0 02 Dec 2014
Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting Eric Gribkoff Guy Van den Broeck Dan Suciu 69 27 0 13 May 2014
Dissociation and Propagation for Approximate Lifted Inference with Standard Relational Database Management Systems Wolfgang Gatterbauer Dan Suciu 105 21 0 23 Oct 2013
Lifted Graphical Models: A Survey Lilyana Mihalkova Lise Getoor 3DV 170 96 0 25 Jul 2011