ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1312.5378
  4. Cited By
Skolemization for Weighted First-Order Model Counting
v1v2 (latest)

Skolemization for Weighted First-Order Model Counting

19 December 2013
Guy Van den Broeck
Wannes Meert
Adnan Darwiche
ArXiv (abs)PDFHTML

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

16 / 16 papers shown
Title
Towards Practical First-Order Model Counting
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
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
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
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
On the Tractability of SHAP Explanations
Guy Van den Broeck
A. Lykov
Maximilian Schleich
Dan Suciu
FAttTDI
119
295
0
18 Sep 2020
Weighted First-Order Model Counting in the Two-Variable Fragment With
  Counting Quantifiers
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
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
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
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
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
Quantum Enhanced Inference in Markov Logic Networks
P. Wittek
C. Gogolin
LRM
62
28
0
24 Nov 2016
Symmetric Weighted First-Order Model Counting
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
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
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
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
Lifted Graphical Models: A Survey
Lilyana Mihalkova
Lise Getoor
3DV
170
96
0
25 Jul 2011
1