"ArThUR: A Tool for Markov Logic Network."

Axel Bodart et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics