ResearchTrend.AI
Domain Recursion for Lifted Inference with Existential Quantifiers
v1v2 (latest)

Domain Recursion for Lifted Inference with Existential Quantifiers

Seyed Mehran Kazemi
Angelika Kimmig
Guy Van den Broeck
David Poole
ArXiv (abs)PDFHTML

Papers citing "Domain Recursion for Lifted Inference with Existential Quantifiers"

3 / 3 papers shown
Title
Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
Qiaolan Meng
Juhua Pu
Hongting Niu
Yuyi Wang
Yuanhong Wang
Ondrej Kuzelka
LRM
23
0
0
26 May 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