Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2006.03432
Cited By
v1
v2 (latest)
Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform
4 June 2020
Ondrej Kuzelka
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform"
2 / 2 papers shown
Title
Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula
Sagar Malhotra
Luciano Serafini
TPM
39
0
0
25 Sep 2020
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
Ondrej Kuzelka
54
21
0
10 Jul 2020
1