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

DOI10.1613/JAIR.1.12320MaRDI QIDQ4989322zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

probabilistic reasoning

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

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

Cites work

• scientific article; zbMATH DE number 5296741 (Why is no real title available?)
• scientific article; zbMATH DE number 3983158 (Why is no real title available?)
• scientific article; zbMATH DE number 1397837 (Why is no real title available?)
• Interpolation in Valiant's theory
• Labelled Graphs with Small Vertex Degrees and P-Recursiveness
• Lower complexity bounds for lifted inference
• Markov logic networks
• Symmetric functions and P-recursiveness
• Weighted model counting beyond two-variable logic

Cited in

(6)

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