Tuffy: A Scalable Markov Logic Inference Engine #1 Post by pumpikano » Thu, Apr 16, 2015, 6:01 AM UTC Tuffy: A Scalable Markov Logic Inference Enginei.stanford.edu