inductive-logic-programming
There are 11 repositories under inductive-logic-programming topic.
- Language:Prolog 198
logic-and-learning-lab / Popper
An inductive logic programming system
Language:Python 175FLHonker / Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
- cplintLanguage:Prolog 63
921kiyo / symbolic-rl
Symbolic Reinforcement Learning using Inductive Logic Programming
Language:Lasso 59joschout / RelationalDatasets
A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.
fxs130430 / SHAP_FOLD
(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining
Language:Prolog 37Top-down induction of first-order logical decision trees: master AI thesis implementation
Language:Python 22celinehocquette / magicpopper
C. Hocquette and A. Cropper, Learning programs with magic values.
Language:Prolog 17C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
Language:Prolog 12danyvarghese / PyGol
A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.
Language:C 10- Language:C 9
ertsiger / induction-subgoal-automata-rl
Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).
Language:Python 8Source code related to the ILP 2019 paper 'LazyBum: Decision tree learning using lazy propositionalization'
Language:Java 8jetnew / symbolic-function-approximator
Symbolic function approximator aims to generate a function using a genetic algorithm to approximate a data distribution using the symbolic paradigm with programming logic.
Language:Python 7tirtharajdash / BotGNN
BotGNN: Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment
Language:Python 7Vertex-Enriched Graph Neural Network (VEGNN)
Language:Jupyter Notebook 5srlearn / relational-datasets
Python package for fetching and using srlearn-compatible relational datasets.
Language:Python 4abeer-dyoub / EthicalEvalMAS
A MAS system for ethical monitoring and evaluation of dialog systems
Language:Prolog 2AbhijeetKrishnan / interpretable-chess-tactics
A system to learn first-order logic based chess tactics from human gameplay data using inductive logic programming.
Language:Prolog 2bhavul / Combining-ILP-and-Maximum-Entropy
This repo contains my undergraduate thesis work where I tried to combine ILP with MaxEnt.
- Language:Shell 2
Julia package for fetching and using srlearn-compatible relational datasets.
Language:Julia 2prosysscience / Symmetry_Breaking_with_ILP
Exploit ILP to learn symmetry breaking constraints of ASP programs.
Language:Python 1- Language:Go 1
- Language:Java 1
DanieleF198 / ILASP-as-post-hoc-method-in-a-preference-system
Project about experiments of the use of ILASP as a post-hoc method over black-box models, in which we also study and approach technical issues like exponential time execution.
Gregory-Matthews / Programming-Languages
Graduate Level Functional Programming in Racket and Scheme
Language:Racketmmsaki / certora-tool
Formal verifiaction personal notes
PythonUser-ux / Vox-Codei
Me and another student at Unibo developed a solution entirely written in Prolog to the game proposed in the following website: https://www.codingame.com/training/hard/vox-codei-episode-1. The report.pdf stands in for the README file.
Language:Prolog
