☆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:
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆352Aug 9, 2024Updated 2 years ago
- Multi-directional Ensembles of Regression and Classification treeS.☆15Jul 1, 2022Updated 4 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- Python interface for SWI-Prolog☆52Aug 30, 2026Updated last week
- Fast Gradient Boosting Decision Trees with Bit-Level Data Structures☆18Aug 2, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Benchmark for Machine Learning from Structured Data☆23Nov 2, 2021Updated 4 years ago
- A scikit-learn implementation of BOOMER - An Algorithm for Learning Gradient Boosted Multi-label Classification Rules☆21Mar 27, 2024Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆419Jun 24, 2026Updated 2 months ago
- Deep relational learning through differentiable logic programming.☆122Aug 31, 2026Updated last week
- Deep Learning and Logical Reasoning from Data and Knowledge☆373Nov 13, 2024Updated last year
- Wrapper for the macOS signpost API☆18Apr 24, 2023Updated 3 years ago
- PyC (Pytorch Concepts) is a PyTorch-based library for designing concept-based interpretable deep learning models.☆158Updated this week
- Neuro-Symbolic Hierarchical Rule Induction☆15Dec 31, 2022Updated 3 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- A Dutch retrieval-augmented chat toolkit☆12Jan 11, 2024Updated 2 years ago
- Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…☆14Nov 26, 2021Updated 4 years ago
- Argotario: a multi-lingual serious game to tackle fallacious argumentation☆16Oct 14, 2025Updated 10 months ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆21Dec 20, 2024Updated last year
- A Julia package for Prolog-style logic programming.☆179Feb 5, 2023Updated 3 years ago
- A fast compressor/decompressor☆15Nov 18, 2024Updated last year
- Experimentation framework for Popper☆25Jul 24, 2025Updated last year
- 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 wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Oct 28, 2021Updated 4 years ago
- ☆58Dec 27, 2025Updated 8 months ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆20Oct 17, 2020Updated 5 years ago
- An inductive logic programming system☆315Aug 6, 2026Updated last month
- 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.☆21Dec 3, 2024Updated last year
- An official code repository for the paper "Argumentative Large Language Models for Explainable and Contestable Claim Verification"☆17Aug 3, 2026Updated last month
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Aug 8, 2026Updated last month
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Structured Generation Evals☆14Sep 25, 2024Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Feb 19, 2023Updated 3 years ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆28Updated this week
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆25Dec 7, 2023Updated 2 years ago
- Whispering Experts: Neural Interventions for Toxicity Mitigation in Language Models, ICML 2024☆26Jul 7, 2024Updated 2 years ago
- BGZF Stream☆13Jul 27, 2023Updated 3 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago