Efficient Markov logic inference for natural language semantics
Montague Meets Markov: Deep Semantics with Probabilistic Logical Form