v1v2 (latest)

Domain Recursion for Lifted Inference with Existential Quantifiers

24 July 2017

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 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 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