Saturday, May 30, 2009

AIMA JAVA v0.94 released

This is a patch release for the FOL Logic and includes the following fixes:

- Fixed subtle defect in Model Elimination inference algorithm, which caused it to miss portions of the search space.

- Improved the performance of both theorem provers, in particular added support for forward and backward subsumption elimination, which improves significantly the performance and use of the OTTER Like theorem prover.

- Fixed defect in cascade occurs check in unifier logic.