Towards Counting Markov Equivalence Classes with Logical Constraints. - Davide Bizzaro; Luciano Serafini; Sagar Malhotra (CoRR, 2024)

Lifted inference beyond first-order logic. - Sagar Malhotra; Davide Bizzaro; Luciano Serafini (Artif. Intell., 2025)