Jeroen Keppens Qiang Shen Burkhard Schafer Probabilistic Abductive Computation of Evidence Collection Strategies in Crime Investigation. 215-224 2005 conf/icail/2005 ICAIL db/conf/icail/icail2005.html#KeppensSS05