Franco Turini Miriam Baglioni Barbara Furletti Salvatore Rinzivillo Examples of Integration of Induction and Deduction in Knowledge Discovery. 307-326 2006 conf/birthday/2006aiello Reasoning, Action and Interaction in AI Theories and Systems http://dx.doi.org/10.1007/11829263_17 db/conf/birthday/Aiello2006.html#TuriniBFR06