Symmetry breaking for inductive logic programming

Andrew Cropper, David M. Cerna, Matti Järvisalo

The goal of inductive logic programming is to search for a hypothesis that generalises training data and background knowledge. The challenge is searching vast hypothesis spaces, wh…