Luc De Raedt Kristian Kersting Angelika Kimmig Kate Revoredo Hannu Toivonen Revising Probabilistic Prolog Programs. 30-33 2006 conf/ilp/2006 ILP http://dx.doi.org/10.1007/978-3-540-73847-3_7 db/conf/ilp/ilp2006.html#RaedtKKRT06