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...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Cropper, A, Morel, R, Muggleton, S
Формат: Journal article
Хэл сонгох:English
Хэвлэсэн: Springer 2019