| Parallel Constraint-Driven Inductive Logic Programming | Sep 15, 2021 | Inductive logic programmingProgram Synthesis | —Unverified | 0 |
| Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning | Nov 19, 2013 | BIG-bench Machine LearningInductive Learning | —Unverified | 0 |
| PrASP Report | Dec 30, 2016 | Inductive logic programming | —Unverified | 0 |
| Preprocessing in Inductive Logic Programming | Dec 21, 2021 | Inductive logic programming | —Unverified | 0 |
| Proceedings 35th International Conference on Logic Programming (Technical Communications) | Sep 17, 2019 | Automated Theorem ProvingData Integration | —Unverified | 0 |
| Proceedings 36th International Conference on Logic Programming (Technical Communications) | Sep 19, 2020 | Automated Theorem ProvingData Integration | —Unverified | 0 |
| Proceedings 40th International Conference on Logic Programming | Feb 11, 2025 | Inductive logic programmingProbabilistic Programming | —Unverified | 0 |
| Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus | May 10, 2024 | ARCInductive logic programming | —Unverified | 0 |
| Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs | Feb 18, 2021 | Inductive logic programmingProgram Synthesis | —Unverified | 0 |
| REMI: Mining Intuitive Referring Expressions on Knowledge Bases | Nov 4, 2019 | Inductive logic programmingReferring Expression | —Unverified | 0 |
