Efficient Markov logic inference for natural language semantics
Probabilistic theorem proving