Quantified Markov Logic Networks
Markov logic networks