| 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 |
| Resource Constrained Dialog Policy Learning via Differentiable Inductive Logic Programming | Nov 10, 2020 | Inductive logic programmingOne-Shot Learning | —Unverified | 0 |
| SkILL - a Stochastic Inductive Logic Learner | Jun 2, 2015 | Inductive logic programmingRelational Reasoning | —Unverified | 0 |
| SMT + ILP | Jan 15, 2020 | Inductive logic programmingPosition | —Unverified | 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 |
| Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies | Sep 27, 2023 | Autonomous DrivingImitation Learning | —Unverified | 0 |
| The ILASP system for Inductive Learning of Answer Set Programs | May 2, 2020 | Common Sense ReasoningInductive Learning | —Unverified | 0 |
| Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation | Aug 21, 2024 | Graph Neural NetworkInductive logic programming | —Unverified | 0 |
| Turning 30: New Ideas in Inductive Logic Programming | Feb 25, 2020 | BIG-bench Machine LearningInductive logic programming | —Unverified | 0 |
| Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems | Oct 19, 2021 | Inductive logic programmingProgram Synthesis | —Unverified | 0 |
| White-box Induction From SVM Models: Explainable AI with Logic Programming | Aug 9, 2020 | Inductive logic programming | —Unverified | 0 |
| Increasing city safety awareness regarding disruptive traffic stream | Jan 30, 2019 | Inductive logic programming | —Unverified | 0 |
| Inducing game rules from varying quality game play | Aug 4, 2020 | Inductive logic programming | —Unverified | 0 |
| Induction and Exploitation of Subgoal Automata for Reinforcement Learning | Sep 8, 2020 | Inductive logic programmingreinforcement-learning | —Unverified | 0 |
| Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME | Aug 2, 2018 | General ClassificationInductive logic programming | —Unverified | 0 |
| Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models | Sep 18, 2019 | Inductive logic programming | —Unverified | 0 |
| Induction of Subgoal Automata for Reinforcement Learning | Nov 29, 2019 | Inductive logic programmingreinforcement-learning | —Unverified | 0 |
| Inductive Learning of Answer Set Programs from Noisy Examples | Aug 25, 2018 | Common Sense ReasoningInductive Learning | —Unverified | 0 |
| Inductive Learning of Declarative Domain-Specific Heuristics for ASP | Aug 30, 2023 | Inductive LearningInductive logic programming | —Unverified | 0 |
| Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis | Aug 15, 2024 | Inductive LearningInductive logic programming | —Unverified | 0 |
| Inductive Logic Boosting | Feb 25, 2014 | Inductive logic programmingRelational Reasoning | —Unverified | 0 |