For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University College London

Return to search Previous output Next output
Output 0 of 0 in the submission
Output title

Improving the Accuracy and Efficiency of MAP Inference for Markov Logic.

Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
UAI
Volume number
-
Issue number
-
First page of article
468
ISSN of proceedings
-
Year of publication
2008
Number of additional authors
0
Additional information

<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.

Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
40
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-