Title: Data mining and knowledge discovery via logic-based methods
Subjects: Data mining, Knowledge acquisition (expert systems), Mathematics, Computer science, Operations research, Mathematical Programming Operations Research, Mathematical Logic and Formal Languages, Operations Research/Decision Theory