Analogical Logic Program Synthesis Algorithm That Can Refute Inappropriate Similarities.

Ken Sadohara, Makoto Haraguchi

Browse the full ALT paper archive.