Data mining and knowledge discovery via logic-based methods: theory, algorithms, and applications تقنية المعلومات