Guiding Inductive Learning with a Qualitative Model - http://www.cs.utexas.edu/users/pclark/software.html
This package allows a qualitative model to bias induction of propositional if...then... rules (using CN2), so that only rules which are also "explainable" by the qualitative model (approximately: having a corresponding path in the qualitative model) are found. Work on Lazy Evaluation is also here.
Note: This info converted from the original "The Data Mine" pages and pre-dates June 2001. Please remove this note if you update or check the info