Lifted algorithms for symmetric weighted first-order model sampling

Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka

Abstract: Highlights•Model sampling in first-order logic can be liftable, without the need of grounding.•Sampling from two-variable logic with counting is tractable.•Domain recursion is crucial for designing first-order model sampling algorithms.