DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
☆304Aug 9, 2024Updated last year
Alternatives and similar repositories for deepproblog
Users that are interested in deepproblog are comparing it to the libraries listed below
Sorting:
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆394Sep 23, 2025Updated 5 months ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆344Nov 13, 2024Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- ☆38Jan 26, 2024Updated 2 years ago
- Framework and Language for Neurosymbolic Programming.☆455May 1, 2025Updated 10 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Jul 18, 2022Updated 3 years ago
- An inductive logic programming system☆273Updated this week
- Sparse Circuits on the GPU (ICLR2025)☆21Updated this week
- Experimentation framework for Popper☆25Jul 24, 2025Updated 7 months ago
- ☆10May 24, 2021Updated 4 years ago
- Deep relational learning through differentiable logic programming.☆113Aug 9, 2025Updated 7 months ago
- Python package for Sentential Decision Diagrams (SDD)☆71Dec 15, 2025Updated 2 months ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆53Jun 23, 2023Updated 2 years ago
- Class Prior Estimation in Active Positive and Unlabeled Learning☆16Mar 24, 2021Updated 4 years ago
- Python library that enables using prolog syntax and logic programming in python☆128Jan 28, 2023Updated 3 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Oct 2, 2024Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆331Feb 22, 2026Updated 2 weeks ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Updated this week
- The Neuro-Symbolic Forward Reasoner☆29Jun 19, 2023Updated 2 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆306Feb 4, 2026Updated last month
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 5 months ago
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆304Jan 22, 2026Updated last month
- Conditional Theorem Proving☆54Apr 30, 2021Updated 4 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆60Oct 28, 2021Updated 4 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆98May 3, 2024Updated last year
- ☆20Apr 3, 2023Updated 2 years ago
- A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search…☆16Jun 9, 2021Updated 4 years ago
- Code for paper: Neural Logic Reasoning☆56Jul 6, 2023Updated 2 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 3 years ago
- Your hub for neuro-symbolic AI: Explore links, papers, and articles with a focus on AI cognition. Contribute and stay updated.☆30Aug 27, 2024Updated last year
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆87Oct 28, 2021Updated 4 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 5 years ago
- Python interface for SWI-Prolog☆50Feb 22, 2026Updated 2 weeks ago
- ☆111Oct 20, 2018Updated 7 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Mar 4, 2024Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago