Learning efficient logic programs

DOI10.1007/S10994-018-5712-6MaRDI QIDQ2425246zbMATHOpenAlexFDO

Authors Andrew Cropper, Stephen 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)

Recommendations

• scientific article; zbMATH DE number 1149414
• Learning higher-order logic programs
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Logical reduction of metarules
• Polynomial-time learnability of logic programs with local variables from entailment

Cites work

• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 3666178 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 1179314 (Why is no real title available?)
• scientific article; zbMATH DE number 2000818 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• scientific article; zbMATH DE number 3412190 (Why is no real title available?)
• A Methodology for LISP Program Construction from Examples
• Automating string processing in spreadsheets using input-output examples
• Foundations of inductive logic programming
• Inductive Logic Programming
• Inductive learning of answer set programs
• Meta-interpretive learning from noisy images
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Meta-interpretive learning: application to grammatical inference
• Randomness conservation inequalities; information and independence in mathematical theories
• SWI-Prolog
• The FF planning system: Fast plan generation through heuristic search
• Toward a mathematical theory of inductive inference
• Transformation of logic programs: Foundations and techniques

Cited in

(12)

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

Describes a project that uses

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)