ML-KULeuven / deepproblog
DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
☆231Updated 8 months ago
Alternatives and similar repositories for deepproblog:
Users that are interested in deepproblog are comparing it to the libraries listed below
- An inductive logic programming system☆221Updated 3 weeks ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆339Updated last month
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆108Updated 6 months ago
- ☆31Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆293Updated 5 months ago
- ☆37Updated 5 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆256Updated last week
- Python interface for SWI-Prolog☆46Updated last week
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- ☆44Updated last year
- Experimentation framework for Popper☆22Updated 11 months ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆44Updated last year
- The Neuro-Symbolic Forward Reasoner☆22Updated last year
- ☆19Updated 2 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆257Updated last year
- Deep relational learning through differentiable logic programming.☆104Updated 9 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 11 months ago
- Python notebooks for a tutorial on neurosymbolic programming☆71Updated last year
- Neuro-Symbolic AI Toolkit☆90Updated last year
- Code and Data for DeepLog system☆19Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- PyTorch Explain: Interpretable Deep Learning in Python.☆154Updated 11 months ago
- Framework and Language for Neurosymbolic Programming.☆349Updated 3 months ago
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- ☆12Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- A HOL-based framework for reasoning over knowledge graphs☆24Updated 6 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆26Updated 6 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago