Return to Article Details Quadratization and Roof Duality of Markov Logic Networks Download Download PDF