An inductive logic programming system
-
Updated
Jun 12, 2025 - Python
#
inductive-logic-programming
Here are 36 public repositories matching this topic...
Metagol - an inductive logic programming system
-
Updated
Sep 13, 2021 - Prolog
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
neural-network logic first-order-logic markov logic-programming causality causal-inference causal inductive-logic-programming
-
Updated
Oct 13, 2020
Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform human-designed algorithms
program-synthesis knowledge-distillation inductive-logic-programming domain-adaptation explainable-ai interpretable distilling neurosymbolic model-distillation out-of-distribution-generalization mechanistic-interpretability
-
Updated
Feb 20, 2024 - Python
cplint is a suite of programs for reasoning with probabilistic logic programs
machine-learning prolog probabilistic-programming logic-programming inductive-logic-programming probabilistic-logic-programming
-
Updated
Jul 17, 2025 - Prolog
Symbolic Reinforcement Learning using Inductive Logic Programming
reinforcement-learning artificial-intelligence ilp answer-set-programming inductive-logic-programming symbolic-reinforcement-learning
-
Updated
Feb 10, 2023 - Lasso
A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.
-
Updated
Oct 24, 2019
(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining
machine-learning data-mining inductive-logic-programming explainable-ai explainable-ml rule-induction
-
Updated
Mar 28, 2020 - Prolog
Top-down induction of first-order logical decision trees: master AI thesis implementation
-
Updated
Sep 21, 2020 - Python
C. Hocquette and A. Cropper, Learning programs with magic values.
-
Updated
Oct 5, 2022 - Prolog
A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.
machine-learning artificial-intelligence logic-programming automl automated-machine-learning inductive-logic-programming inference-engine automated-data-science explainable-ai explainable-ml abductive-learning abductive-commonsense-reasoning inverse-entailment pygol
-
Updated
Mar 21, 2025 - C
C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
-
Updated
Feb 22, 2023 - Prolog
Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).
-
Updated
Aug 15, 2023 - Python
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
-
Updated
Jul 30, 2025 - C
Source code related to the ILP 2019 paper 'LazyBum: Decision tree learning using lazy propositionalization'
-
Updated
Jan 22, 2021 - Java
BotGNN: Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment
inductive-logic-programming neuro-symbolic-learning deep-relational-learning graph-neural-networks background-knowledge
-
Updated
May 19, 2023 - Python
Symbolic function approximator aims to generate a function using a genetic algorithm to approximate a data distribution using the symbolic paradigm with programming logic.
python genetic-algorithm function symbolic symbolic-regression inductive-logic-programming approximator
-
Updated
Jan 19, 2020 - Python
Vertex-Enriched Graph Neural Network (VEGNN)
inductive-logic-programming hyperedge neuro-symbolic-learning graph-neural-networks background-knowledge machine-learning-journal
-
Updated
Jun 2, 2021 - Jupyter Notebook
C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.
-
Updated
Feb 16, 2024 - Prolog
Improve this page
Add a description, image, and links to the inductive-logic-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the inductive-logic-programming topic, visit your repo's landing page and select "manage topics."