Knowledge Discovery with Support Vector Machines