Learning higher-order logic programs

A key feature of inductive logic programming is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support l...

Full description

Bibliographic Details

Published in:	Machine learning Vol. 109; no. 7; pp. 1289 - 1322
Main Authors:	Cropper, Andrew, Morel, Rolf, Muggleton, Stephen
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.07.2020 Springer Nature B.V
Subjects:	Artificial Intelligence Complexity Computer Science Control Encryption Learning Logic programming Logic programs Machine Learning Mechatronics Natural Language Processing (NLP) Prolog Robotics Simulation and Modeling Special Issue of the Inductive Logic Programming (ILP) 2019
ISSN:	0885-6125, 1573-0565
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!