{"ref":"master","ref_type":"branch","master_branch":"master","description":"Implementation of algorithms from: O. Kuzelka, J. Davis and S. Schockaert, Encoding Markov Logic Networks in Possibilistic Logic, UAI 2015","pusher_type":"user"}