 Synthesising Recursive Functions for First-Order Model Counting:
Challenges, Progress, and ConjecturesInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2023 |
 Dissociation and Propagation for Approximate Lifted Inference with
Standard Relational Database Management SystemsThe VLDB journal (VLDB J.), 2013 |
