Markov Logic Networks for Natural Language Question Answering
Probabilistic theorem proving