Gianluca Torta Daniele Theseider Dupré Luca Anselma Cost-sensitive Iterative Abductive Reasoning with abstractions. 803-804 2008 ECAI http://dx.doi.org/10.3233/978-1-58603-891-5-803 conf/ecai/2008 db/conf/ecai/ecai2008.html#TortaDA08