Logic-Based Knowledge Discovery in Databases