☆40Jan 26, 2024Updated 2 years ago
Alternatives and similar repositories for deepstochlog
Users that are interested in deepstochlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆32Nov 12, 2022Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆358Sep 29, 2026Updated 2 weeks ago
- Python interface for SWI-Prolog☆54Updated this week
- Class Prior Estimation in Active Positive and Unlabeled Learning☆16Mar 24, 2021Updated 5 years ago
- Multi-directional Ensembles of Regression and Classification treeS.☆15Jul 1, 2022Updated 4 years ago
- 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.
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- Fast Gradient Boosting Decision Trees with Bit-Level Data Structures☆18Aug 2, 2022Updated 4 years ago
- A scikit-learn implementation of BOOMER - An Algorithm for Learning Gradient Boosted Multi-label Classification Rules☆20Mar 27, 2024Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆426Sep 14, 2026Updated last month
- Deep Learning and Logical Reasoning from Data and Knowledge☆378Nov 13, 2024Updated last year
- Deep relational learning through differentiable logic programming.☆122Oct 1, 2026Updated 2 weeks ago
- Neuro-Symbolic Hierarchical Rule Induction☆15Dec 31, 2022Updated 3 years ago
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- PyC (Pytorch Concepts) is a PyTorch-based library for designing concept-based interpretable deep learning models.☆159Oct 9, 2026Updated last week
- Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…☆15Nov 26, 2021Updated 4 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- A wrapper for the SDD library written in C.☆13Jun 14, 2021Updated 5 years ago
- A project that uses Langchain to construct SPARQL queries against SPARQL endpoints☆13Jun 14, 2024Updated 2 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆20Oct 17, 2020Updated 6 years ago
- A fast compressor/decompressor☆15Nov 18, 2024Updated last year
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆21Dec 20, 2024Updated last year
- ☆59Dec 27, 2025Updated 9 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Oct 28, 2021Updated 4 years ago
- 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.☆21Dec 3, 2024Updated last year
- Experimentation framework for Popper☆25Jul 24, 2025Updated last year
- An inductive logic programming system☆326Aug 6, 2026Updated 2 months ago
- An official code repository for the paper "Argumentative Large Language Models for Explainable and Contestable Claim Verification"☆20Aug 3, 2026Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆46Oct 2, 2024Updated 2 years ago
- A GA4GH Draft Beacon implementation☆11Oct 23, 2015Updated 10 years ago
- JPL: The Prolog <-> Java interface☆61Updated this week
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Aug 8, 2026Updated 2 months ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Feb 19, 2023Updated 3 years ago
- BGZF Stream☆13Jul 27, 2023Updated 3 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆25Dec 7, 2023Updated 2 years ago
- Code and dataset for the paper ``Challenges to Open-Domain Constituency Parsing''☆11Sep 22, 2022Updated 4 years ago