Weighted first-order model counting in the two-variable fragment with counting quantifiers

DOI10.1613/JAIR.1.12320OpenAlexW3151822599MaRDI QIDQ4989322FDOQ4989322

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

Recommendations

• Weighted model counting beyond two-variable logic
• The two-variable fragment with counting revisited
• The two-variable fragment with counting and equivalence
• Complexity Results for First-Order Two-Variable Logic with Counting
• Data-complexity of the two-variable fragment with counting quantifiers

zbMATH Keywords

probabilistic reasoning

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• Title not available (Why is that?)
• Symmetric functions and P-recursiveness
• Markov logic networks
• Title not available (Why is that?)
• Interpolation in Valiant's theory
• Labelled Graphs with Small Vertex Degrees and P-Recursiveness
• Title not available (Why is that?)
• Lower complexity bounds for lifted inference
• Weighted model counting beyond two-variable logic

Cited In (6)

• Lifted algorithms for symmetric weighted first-order model sampling
• Quantified neural Markov logic networks
• Lifted inference with tree axioms
• Automatic conjecturing of P-recursions using lifted inference
• Lifted Reasoning for Combinatorial Counting
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989322)