Fosca Giannotti Giuseppe Manco Jef Wijsen Logical Languages for Data Mining. 325-361 2003 conf/dagstuhl/2003lead Logics for Emerging Applications of Databases db/conf/dagstuhl/lead2003.html#GiannottiMW03