Data Mining and Knowledge Discovery Via Logic-Based Methods (Springer Optimization and Its Applications): Theory, Algorithms, and Applications