Download Data Mining And Knowledge Discovery Via Logic Based Methods Theory Algorithms And Applications