"markov logic"