Data Mining And Knowledge Discovery Via Logic-Based Methods by Evangelos Triantaphyllou