Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
From MaRDI portal
Publication:4989322
DOI10.1613/jair.1.12320OpenAlexW3151822599MaRDI QIDQ4989322
Publication date: 25 May 2021
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2007.05619
Related Items (3)
Lifted inference with tree axioms ⋮ Automatic conjecturing of P-recursions using lifted inference ⋮ Lifted Reasoning for Combinatorial Counting
Cites Work
This page was built for publication: Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers