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

DOI10.1613/jair.1.12320OpenAlexW3151822599MaRDI QIDQ4989322

Ondřej Kuželka

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

zbMATH Keywords

probabilistic reasoning

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (3)

Lifted inference with tree axioms ⋮ Automatic conjecturing of P-recursions using lifted inference ⋮ Lifted Reasoning for Combinatorial Counting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpolation in Valiant's theory
• Symmetric functions and P-recursiveness
• Markov logic networks
• Labelled Graphs with Small Vertex Degrees and P-Recursiveness
• Lower complexity bounds for lifted inference
• Weighted model counting beyond two-variable logic

This page was built for publication: Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers