Lifted Inference with Linear Order Axiom

2 November 2022

Papers citing "Lifted Inference with Linear Order Axiom"

3 / 3 papers shown

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