Blog‎ > ‎

Deductive Closure

posted Mar 10, 2014, 7:17 PM by Evan Morrison
Find out about my latest development on TextSeer at http://www.evanmorrison.com.au/1/post/2014/03/deductive-closure.html. As you will see I've been developing a deductive closure operation to make the default logic reasoner give more accurate results.
Comments