An explainable inference software supporting annotated, real valued, graph based and temporal logic
☆328Feb 22, 2026Updated last week
Alternatives and similar repositories for pyreason
Users that are interested in pyreason are comparing it to the libraries listed below
Sorting:
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆32Dec 28, 2023Updated 2 years ago
- ☆16Sep 28, 2023Updated 2 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆343Nov 13, 2024Updated last year
- Framework and Language for Neurosymbolic Programming.☆453May 1, 2025Updated 10 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆147Oct 2, 2024Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- A curated paper list on neural symbolic and probabilistic logic.☆134Sep 5, 2023Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Translating HTN planning problems to PDDL☆21Jul 7, 2021Updated 4 years ago
- torchlogic is a pytorch framework for developing Neuro-Symbolic AI systems and implements Neural Reasoning Networks.☆17Sep 18, 2025Updated 5 months ago
- 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
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- a datalog implementation in Python☆307Sep 3, 2024Updated last year
- An inductive logic programming system☆270Updated this week
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- Sparse Circuits on the GPU (ICLR2025)☆20Dec 25, 2025Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆36Oct 2, 2024Updated last year
- Common Java interfaces for RDF-1.1 libraries, now in Apache Incubator☆29Oct 14, 2020Updated 5 years ago
- Pandas-based library for emotion graphing and semantic search with LMs☆20Oct 22, 2023Updated 2 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆541Feb 15, 2026Updated 2 weeks ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Jul 29, 2023Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆113Aug 9, 2025Updated 6 months ago
- mOWL: Machine Learning library with Ontologies☆85Jan 18, 2026Updated last month
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 2 years ago
- Simple LLM inference server☆20Jun 13, 2024Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆306Feb 4, 2026Updated 3 weeks ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Mar 26, 2025Updated 11 months ago
- A neurosymbolic perspective on LLMs☆1,673Updated this week
- [ECCV 2020 Oral] The SubT interestingness dataset Tools☆20Jun 19, 2020Updated 5 years ago
- SHACL4Protege - SHACL constraint validation plugin for Protégé☆38Dec 19, 2025Updated 2 months ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A tutorial and trained model that can identify Aboriginal flags in images using PyTorch and Detecto☆11Oct 19, 2020Updated 5 years ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Some papers on Knowledge Graph Embedding(KGE)☆13Aug 16, 2022Updated 3 years ago
- Optical flow library, based on NumPy arrays☆11Nov 30, 2021Updated 4 years ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 7 months ago