Tuffy is an open-source Markov Logic Network inference engineresearch.cs.wisc.edu41 pointsadulau15 years ago