Learning logic programs through divide, constrain, and conquer

We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and supports predicate invention. Our experiments on three domains (classification, induc...

全面介绍

书目详细资料
主要作者: Cropper, A
格式: Conference item
语言:English
出版: Association for the Advancement of Artificial Intelligence 2022