Deep relational learning through differentiable logic programming.
☆122Oct 1, 2026Updated last month
Alternatives and similar repositories for NeuraLogic
Users that are interested in NeuraLogic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆314Oct 22, 2026Updated 2 weeks ago
- ☆10May 24, 2021Updated 5 years ago
- ☆19Feb 22, 2023Updated 3 years ago
- ReDeLEx is a Python framework for developing and evaluating RDL models on relational databases via RelBench and CTU datasets.☆25Oct 27, 2026Updated last week
- Neural Markov Logic Networks☆13Feb 14, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 9 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated 2 years ago
- PyTorch Implementation of the paper "Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architec…☆10Sep 18, 2025Updated last year
- RuDaS: Synthetic Datasets for Rule Learning☆20Jun 21, 2022Updated 4 years ago
- top-down interpreter for ASP programs with constraints☆20Sep 19, 2022Updated 4 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆362Sep 29, 2026Updated last month
- Deep Learning and Logical Reasoning from Data and Knowledge☆377Updated this week
- Hard-to-ground Planning Domains☆10May 10, 2024Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆58Sep 17, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- LLMs4OL Challenge @ ISWC-2024☆12Aug 1, 2024Updated 2 years ago
- Port of SwiftyKanren to Kotlin☆19Feb 8, 2021Updated 5 years ago
- Repository for the CLEVR-Hans dataset☆12Mar 11, 2021Updated 5 years ago
- ☆17Jun 4, 2021Updated 5 years ago
- Convert Abstract Meaning Representation (AMR) into first-order logic☆17Aug 7, 2024Updated 2 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Sep 11, 2023Updated 3 years ago
- PyTorch Explain: Interpretable Deep Learning in Python.☆175May 16, 2024Updated 2 years ago
- Java-based lightweight Prolog virtual machine☆38Jul 3, 2024Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆15Dec 31, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Logic Reinforcement Learning☆21Oct 20, 2025Updated last year
- Example application of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Mach…☆34Sep 17, 2025Updated last year
- Port of Aleph to SWI-Prolog☆54Feb 7, 2024Updated 2 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 5 years ago
- Python Library for creating and managing Domain Specific Languages (DSL) for OWL ontologies (using Owlready2 and owlapy)☆10Oct 2, 2026Updated last month
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆13May 3, 2021Updated 5 years ago
- An inductive logic programming system☆328Oct 25, 2026Updated last week
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆87Jan 2, 2024Updated 2 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆53May 16, 2021Updated 5 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆21Dec 20, 2024Updated last year
- The Neuro-Symbolic Forward Reasoner☆30Jun 19, 2023Updated 3 years ago
- Curated list on Deep Transformers Applications on Biology and Chemistry☆20Apr 8, 2023Updated 3 years ago
- Highly accurate discovery of terpene synthases powered by machine learning☆18Sep 15, 2026Updated last month
- The official Pytorch implementation of "UniKER: A Unified Framework for Combining Embedding and Definite Horn Rule Reasoning for Knowledg…☆15May 16, 2022Updated 4 years ago
- Neuro-Symbolic Message-Passing Reasoner☆16Mar 4, 2025Updated last year