Learning logic programs by explaining their failures

DOI10.1007/s10994-023-06358-1arXiv2102.12551OpenAlexW4385623038MaRDI QIDQ6053808

Rolf Morel, Andrew Cropper

Publication date: 24 October 2023

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.12551

zbMATH Keywords

inductive logic programmingrelational learningfailure explanation

Mathematics Subject Classification ID

Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Interactive concept-learning and constructive induction by analogy
• Top-down induction of first-order logical decision trees
• Foundations of inductive logic programming
• Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
• Learning programs by learning from failures
• Inductive general game playing
• Making sense of sensory input
• Learning Explanatory Rules from Noisy Data
• Answering the “why” in answer set programming – A survey of explanation approaches
• General Game Playing
• Inductive logic programming

This page was built for publication: Learning logic programs by explaining their failures