Typed meta-interpretive learning of logic programs

DOI10.1007/978-3-030-19570-0_13MaRDI QIDQ2296706zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 18 February 2020

Full work available at URL https://ora.ox.ac.uk/objects/uuid:0831071e-1986-4ffe-a45c-028f55a18530

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Meta-interpretive learning: application to grammatical inference
• Meta-interpretive learning as metarule specialisation
• Learning higher-order logic programs
• Exploiting answer set programming with external sources for meta-interpretive learning
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Cited in

(7)

• Top program construction and reduction for polynomial time meta-interpretive learning
• Learning programs by learning from failures
• Meta-interpretive learning as metarule specialisation
• Learning higher-order logic programs
• Logical reduction of metarules
• Making sense of sensory input
• Making sense of raw input

This page was built for publication: Typed meta-interpretive learning of logic programs

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