Lifted algorithms for symmetric weighted first-order model sampling

DOI10.1016/J.ARTINT.2024.104114MaRDI QIDQ6566639zbMATH OpenFDO

Authors Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondřej Kuželka

Publication date 3 July 2024

Published in Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

first-order logiccounting quantifierdomain-liftabilitymodel sampling

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Recommendations

• Weighted first-order model counting in the two-variable fragment with counting quantifiers
• Weighted model counting beyond two-variable logic
• Lifted inference with tree axioms
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

Cites work

• scientific article; zbMATH DE number 3168330 (Why is no real title available?)
• scientific article; zbMATH DE number 7330888 (Why is no real title available?)
• Lifted generative learning of Markov logic networks
• Lifted variable elimination: decoupling the operators from the constraint language
• Lower complexity bounds for lifted inference
• Markov logic networks
• On Counting Independent Sets in Sparse Graphs
• On probabilistic inference by weighted model counting
• On the Decision Problem for Two-Variable First-Order Logic
• On the tight constant in the multivariate Dvoretzky-Kiefer-Wolfowitz inequality
• Probabilistic planning via heuristic forward search and weighted model counting
• Random generation of combinatorial structures from a uniform distribution
• Sampling Regular Graphs and a Peer-to-Peer Network
• Sampling constraint satisfaction solutions in the local lemma regime
• The Complexity of Enumeration and Reliability Problems
• The Kolmogorov-Smirnov Test for Goodness of Fit
• The complexity of computing the permanent
• Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
• Uniform sampling through the Lovász local lemma
• Weighted first-order model counting in the two-variable fragment with counting quantifiers
• Weighted model counting beyond two-variable logic

Cited in

(1)

• Lifted inference with tree axioms

This page was built for publication: Lifted algorithms for symmetric weighted first-order model sampling

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