Markov Logic An Interface Layer for Artificial Intelligence - Domingos, Pedro (Synthesis Lectures on Artificial Intelligence and Machine Learning Ser.)