NEITHER: A Propositional Theory Refinement
A system to modify an incomplete or incorrect rule base to make it consistent with a set of input training examples. Written in C++ [Free]

No queries for www.cs.utexas.edu/users/ml/neither.html