| One-Shot Induction of Generalized Logical Concepts via Human Guidance | Dec 15, 2019 | Inductive logic programmingvalid | —Unverified | 0 | 0 |
| Online inductive learning from answer sets for efficient reinforcement learning exploration | Jan 13, 2025 | Inductive LearningInductive logic programming | —Unverified | 0 | 0 |
| On the Complexity of Inductively Learning Guarded Rules | Oct 7, 2021 | Inductive logic programming | —Unverified | 0 | 0 |
| Ontology-Based Skill Description Learning for Flexible Production Systems | Nov 25, 2021 | Inductive logic programming | —Unverified | 0 | 0 |
| Parallel Constraint-Driven Inductive Logic Programming | Sep 15, 2021 | Inductive logic programmingProgram Synthesis | —Unverified | 0 | 0 |
| Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning | Nov 19, 2013 | BIG-bench Machine LearningInductive Learning | —Unverified | 0 | 0 |
| PrASP Report | Dec 30, 2016 | Inductive logic programming | —Unverified | 0 | 0 |
| Preprocessing in Inductive Logic Programming | Dec 21, 2021 | Inductive logic programming | —Unverified | 0 | 0 |
| Proceedings 35th International Conference on Logic Programming (Technical Communications) | Sep 17, 2019 | Automated Theorem ProvingData Integration | —Unverified | 0 | 0 |
| Proceedings 36th International Conference on Logic Programming (Technical Communications) | Sep 19, 2020 | Automated Theorem ProvingData Integration | —Unverified | 0 | 0 |
| Proceedings 40th International Conference on Logic Programming | Feb 11, 2025 | Inductive logic programmingProbabilistic Programming | —Unverified | 0 | 0 |
| Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus | May 10, 2024 | ARCInductive logic programming | —Unverified | 0 | 0 |
| Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs | Feb 18, 2021 | Inductive logic programmingProgram Synthesis | —Unverified | 0 | 0 |
| REMI: Mining Intuitive Referring Expressions on Knowledge Bases | Nov 4, 2019 | Inductive logic programmingReferring Expression | —Unverified | 0 | 0 |
| Resource Constrained Dialog Policy Learning via Differentiable Inductive Logic Programming | Nov 10, 2020 | Inductive logic programmingOne-Shot Learning | —Unverified | 0 | 0 |
| SkILL - a Stochastic Inductive Logic Learner | Jun 2, 2015 | Inductive logic programmingRelational Reasoning | —Unverified | 0 | 0 |
| SMT + ILP | Jan 15, 2020 | Inductive logic programmingPosition | —Unverified | 0 | 0 |
| Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment | Dec 1, 2020 | BIG-bench Machine LearningExplainable Artificial Intelligence (XAI) | —Unverified | 0 | 0 |
| Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies | Sep 27, 2023 | Autonomous DrivingImitation Learning | —Unverified | 0 | 0 |
| The ILASP system for Inductive Learning of Answer Set Programs | May 2, 2020 | Common Sense ReasoningInductive Learning | —Unverified | 0 | 0 |
| Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation | Aug 21, 2024 | Graph Neural NetworkInductive logic programming | —Unverified | 0 | 0 |
| Turning 30: New Ideas in Inductive Logic Programming | Feb 25, 2020 | BIG-bench Machine LearningInductive logic programming | —Unverified | 0 | 0 |
| Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems | Oct 19, 2021 | Inductive logic programmingProgram Synthesis | —Unverified | 0 | 0 |
| White-box Induction From SVM Models: Explainable AI with Logic Programming | Aug 9, 2020 | Inductive logic programming | —Unverified | 0 | 0 |
| "Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming | Aug 30, 2023 | counterfactualCounterfactual Reasoning | —Unverified | 0 | 0 |