Output details
11 - Computer Science and Informatics
University College London
Improving the Accuracy and Efficiency of MAP Inference for Markov Logic.
<22>Originality: First to combine optimization and first order query processing in relational learning. Significance: Markov Logic was considered to be impractical for most NLP applications. This work changed this, and is the basis of a software (2000+ downloads) used throughout the world. E.g., Henry Kautz, inventor of the MaxWalkSAT (MWS) algorithm, used our algorithm in place of his own MWS. James Allen, inventor of Allen's Temporal Interval Algebra used our tool for temporal reasoning. Rigour: Theoretical analysis proves optimality (or epsilon-optimality). For two real-world models orders of magnitude reduction in runtime and memory usage at no loss of accuracy.