Induction on Failure: Learning Connected Horn Theories. - Tim Kimber; Krysia Broda; Alessandra Russo (LPNMR, 2009)