Αποστολή με SMS: Data Mining and Knowledge Discovery via Logic-Based Methods