ML-KULeuven / deepproblog
DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
☆234Updated 9 months ago
Alternatives and similar repositories for deepproblog
Users that are interested in deepproblog are comparing it to the libraries listed below
Sorting:
- An inductive logic programming system☆223Updated last month
- ☆37Updated 6 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆341Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆111Updated 7 months ago
- Deep relational learning through differentiable logic programming.☆104Updated 9 months ago
- Experimentation framework for Popper☆22Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆296Updated 6 months ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- ☆31Updated last year
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆256Updated 3 weeks ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆45Updated last week
- Code and Data for DeepLog system☆19Updated 2 years ago
- ☆45Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆59Updated 2 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆261Updated last week
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆291Updated 2 weeks ago
- The Neuro-Symbolic Forward Reasoner☆23Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 11 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- ☆12Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆91Updated last year
- Neural Markov Logic Networks☆11Updated 3 years ago
- Port of Aleph to SWI-Prolog☆47Updated last year
- A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantee…☆52Updated 5 years ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆273Updated 9 months ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆26Updated 7 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆13Updated 2 years ago