Counting Belief Propagation
Markov logic networks