 <a href="http://www.cs.utexas.edu/users/ml/accel.html">ACCEL</a> -  An abductive reasoning system. <li>
