Logics in Machine Learning and Data Mining: Achievements and Open Issues