Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1312.5378
Cited By
v1
v2 (latest)
Skolemization for Weighted First-Order Model Counting
19 December 2013
Guy Van den Broeck
Wannes Meert
Adnan Darwiche
Re-assign community
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
46
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
57
21
0
10 Jul 2020
Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings
Tal Friedman
Guy Van den Broeck
79
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
37
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
112
21
0
23 Oct 2013
Lifted Graphical Models: A Survey
Lilyana Mihalkova
Lise Getoor
3DV
170
96
0
25 Jul 2011
1