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...
主要作者: | |
---|---|
格式: | Conference item |
语言: | English |
出版: |
Association for the Advancement of Artificial Intelligence
2022
|