Typed meta-interpretive learning of logic programs

DOI10.1007/978-3-030-19570-0_13OpenAlexW2943979673MaRDI QIDQ2296706

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)

Related Items (6)

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

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