Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
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…
cs.AI2025
Learning Logical Rules using Minimum Message Length
Ruben Sharma, Sebastijan Dumančić, Ross D. King +1
Unifying probabilistic and logical learning is a key challenge in AI. We introduce a Bayesian inductive logic programming approach that learns minimum message length hypotheses fro…
cs.AI2025
Efficient rule induction by ignoring pointless rules
Andrew Cropper, David M. Cerna
The goal of inductive logic programming (ILP) is to find a set of logical rules that generalises training examples and background knowledge. We introduce an ILP approach that ident…