ResearchTrend.AI
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
v1v2v3 (latest)

Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers

Ondrej Kuzelka
ArXiv (abs)PDFHTML

Papers citing "Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers"

4 / 4 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
Towards Practical First-Order Model Counting
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
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