Church: a language for generative models
Markov logic networks