Publications
] , “Examples of Integration of Induction and Deduction in Knowledge Discovery”, in Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp. 307-326.
, “Examples of Integration of Induction and Deduction in Knowledge Discovery”, in Reasoning, Action and Interaction in AI Theories and Systems, vol. 4155, 2006, pp. 307-326.
, “Extracting spatial association rules from spatial transactions”, in ACM GIS, 2005, pp. 79-86.
, “Classification in Geographical Information Systems”, in PKDD, 2004, pp. 374-385.
, “Using Spin to Generate Tests from ASM Specifications”, in Abstract State Machines, 2003, pp. 263-277.