ResearchTrend.AI
Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform
v1v2 (latest)

Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform

Ondrej Kuzelka
ArXiv (abs)PDFHTML

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
Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula
Sagar Malhotra
Luciano Serafini
TPM
46
0
0
25 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
57
21
0
10 Jul 2020