Encoding Markov Logic Networks in Possibilistic Logic
system z : a natural ordering of defaults with tractable applications to nonmonotonic reasoning .