Learning efficient logic programs

DOI10.1007/s10994-018-5712-6zbMath1493.68066OpenAlexW2395903764MaRDI QIDQ2425246

Andrew Cropper, Stephen H. Muggleton

Publication date: 26 June 2019

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

Full work available at URL: https://doi.org/10.1007/s10994-018-5712-6

zbMATH Keywords

inductive logic programming (ILP)minimal cost programsminimal time-complexity programs

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items (8)

Inductive logic programming at 30 ⋮ Learning higher-order logic programs ⋮ Logical reduction of metarules ⋮ Inductive general game playing ⋮ Beneficial and harmful explanatory machine learning ⋮ Metaopt ⋮ Learning hierarchical probabilistic logic programs ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons

Uses Software

• SWI-Prolog
• GitHub
• GOLEM
• Metagol

Cites Work

• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Foundations of inductive logic programming
• Meta-interpretive learning from noisy images
• Meta-interpretive learning: application to grammatical inference
• SWI-Prolog
• Inductive Learning of Answer Set Programs
• Randomness conservation inequalities; information and independence in mathematical theories
• A Methodology for LISP Program Construction from Examples
• Toward a mathematical theory of inductive inference
• Transformation of logic programs: Foundations and techniques
• Inductive Logic Programming
• Automating string processing in spreadsheets using input-output examples
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Learning efficient logic programs