Lifted algorithms for symmetric weighted first-order model sampling

DOI10.1016/j.artint.2024.104114MaRDI QIDQ6566639

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

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)

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