Learning efficient logic programs

DOI10.1007/S10994-018-5712-6zbMATH Open1493.68066OpenAlexW2395903764MaRDI QIDQ2425246FDOQ2425246

Stephen Muggleton, Andrew Cropper

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• SWI-Prolog
• Toward a mathematical theory of inductive inference
• The FF planning system: Fast plan generation through heuristic search
• Randomness conservation inequalities; information and independence in mathematical theories
• Transformation of logic programs: Foundations and techniques
• Foundations of inductive logic programming
• Inductive Logic Programming
• A Methodology for LISP Program Construction from Examples
• Meta-interpretive learning: application to grammatical inference
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Meta-interpretive learning from noisy images
• Inductive Learning of Answer Set Programs
• Automating string processing in spreadsheets using input-output examples

Cited In (10)

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

Uses Software

• SWI-Prolog
• GOLEM
• Metagol
• GitHub

This page was built for publication: Learning efficient logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2425246)