HazyResearch / tuffy

Tuffy, a Markov Logic Network solver
23Updated 9 years ago

Related projects: