inductive-logic-programming

Metagol - an inductive logic programming system

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

cplint is a suite of programs for reasoning with probabilistic logic programs

Symbolic Reinforcement Learning using Inductive Logic Programming

(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining

Top-down induction of first-order logical decision trees: master AI thesis implementation

A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.

Source code related to the ILP 2019 paper 'LazyBum: Decision tree learning using lazy propositionalization'

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

Symbolic function approximator aims to generate a function using a genetic algorithm to approximate a data distribution using the symbolic paradigm with programming logic.

Implementation of "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).

BotGNN: Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment

Vertex-Enriched Graph Neural Network (VEGNN)

This repo contains my undergraduate thesis work where I tried to combine ILP with MaxEnt.

Exploit ILP to learn symmetry breaking constraints of ASP programs.

A MAS system for ethical monitoring and evaluation of dialog systems

Graduate Level Functional Programming in Racket and Scheme