Data Mining Overview	Rule Generation
Verification-Driven Data Mining	Advantages of Symbolic Classifiers
Manual vs. Automatic	The Bottom Line
Another Paradigm	The Ten Steps of Data Mining