Top program construction and reduction for polynomial time meta-interpretive learning
type: Item
instance of: scholarly article
title: Top program construction and reduction for polynomial time meta-interpretive learning
author: S. Patsantzis
author: Stephen Muggleton
published in: Machine Learning
publication date: 2021-11-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/2101.05050
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 7432820
zbMATH Keywords: inductive logic programming
zbMATH Keywords: meta interpretive learning
zbMATH Keywords: machine learning
zbMATH Keywords: top program construction
describes a project that uses: TopLog
describes a project that uses: Louise
describes a project that uses: Metagol
describes a project that uses: GitHub
MaRDI profile type: Publication
OpenAlex ID: W3119214637
cites work: Learning Through Hypothesis Refinement Using Answer Set Programming
cites work: Occam's razor
cites work: Inductive logic programming as abductive search
cites work: Derivation Reduction of Metarules in Meta-interpretive Learning
cites work: Learning Explanatory Rules from Noisy Data
cites work: Logic program synthesis from incomplete specifications
cites work: Inductive synthesis of recursive logic programs: achievements and prospects
cites work: Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
cites work: Inductive Learning of Answer Set Programs
cites work: Q4230359
cites work: Typed meta-interpretive learning of logic programs
cites work: Inductive logic programming
cites work: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
cites work: Meta-interpretive learning from noisy images
cites work: TopLog: ILP Using a Logic Program Declarative Bias
cites work: Meta-interpretive learning: application to grammatical inference
cites work: Foundations of inductive logic programming
cites work: Q5677085
cites work: Q5624681
cites work: A theory of the learnable
DOI: 10.1007/S10994-020-05945-W
Recommended article: Typed meta-interpretive learning of logic programs
Recommended article: Derivation Reduction of Metarules in Meta-interpretive Learning
Recommended article: Meta-Interpretive Learning: Achievements and Challenges (Invited Paper)
Recommended article: Ultra-strong machine learning: comprehensibility of programs learned with ILP
Recommended article: Meta-interpretive learning: application to grammatical inference
Recommended article: Meta-interpretive learning as metarule specialisation
Recommended article: Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
description: scientific article; zbMATH DE number 7432820