Jonathan Feldstein Vaishak Belle Lifted reasoning meets weighted model integration. 322-332 2021 UAI https://proceedings.mlr.press/v161/feldstein21a.html conf/uai/2021 db/conf/uai/uai2021.html#FeldsteinB21