inductive logic programming

Efficient Rule Induction by Ignoring Pointless Rules AAAI 2026 Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding AAAI 2026 Self-Supervised Inductive Logic Programming AAAI 2026 Symmetry Breaking for Inductive Logic Programming AAAI 2026 Differentiable Rule Induction from Raw Sequence Inputs ICLR 2025 GeoILP: A Synthetic Dataset to Guide Large-Scale Rule Induction ICLR 2025 Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis AAAI 2025 Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach AAAI 2025 Relational Decomposition for Program Synthesis IJCAI 2025 A differentiable first-order rule learner for inductive logic programming (Abstract Reprint) IJCAI 2024 Generalisation through Negation and Predicate Invention AAAI 2024 Learning Big Logical Rules by Joining Small Rules IJCAI 2024 Learning Logic Programs by Discovering Higher-Order Abstractions IJCAI 2024 Learning MDL Logic Programs from Noisy Data AAAI 2024 Temporal Inductive Logic Reasoning over Hypergraphs IJCAI 2024 Learning Logic Programs by Discovering Where Not to Search AAAI 2023 Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023 LogicDP: Creating Labels for Graph Data via Inductive Logic Programming ICLR 2023 Relational Program Synthesis with Numerical Reasoning AAAI 2023 The Automatic Computer Scientist AAAI 2023 An Interactive Explanatory AI System for Industrial Quality Control AAAI 2022 Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (Extended Abstract) IJCAI 2022 Learning First-Order Rules with Differentiable Logic Program Semantics IJCAI 2022 Learning Higher-Order Logic Programs From Failures IJCAI 2022 Learning Logic Programs Though Divide, Constrain, and Conquer AAAI 2022