Learning Markov logic network structure via hypergraph lifting
Logical Foundations Of Artificial Intelligence