stefano-bragaglia / XHAILView external linksLinks
System for eXtended Hybrid Abductive Inductive Learning
☆26Jun 8, 2021Updated 4 years ago
Alternatives and similar repositories for XHAIL
Users that are interested in XHAIL are comparing it to the libraries listed below
Sorting:
- Incremental Learning Event Definitions☆15Jul 21, 2015Updated 10 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 4 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 6 months ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Scala wrappers for MapDB☆12Sep 9, 2017Updated 8 years ago
- A flexible pure-Java OCR implementation. Eventually.☆20Jan 2, 2015Updated 11 years ago
- Google Maps geocoding library for Scala☆12Oct 12, 2019Updated 6 years ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Dec 20, 2017Updated 8 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- Symbolic computer vision tool☆21Jan 8, 2019Updated 7 years ago
- Fork of the SPMF Open-Source Data Mining Library from Prof. Philippe Fournier-Viger☆17Jan 30, 2026Updated 2 weeks ago
- A framework for PSL inference.☆21Nov 9, 2015Updated 10 years ago
- Knowledge Acquisition Logic Machine☆18Jul 19, 2019Updated 6 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆82Jan 20, 2026Updated 3 weeks ago
- A simple, natural language based, pirate adventure game in Prolog.☆19Oct 20, 2013Updated 12 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Oct 17, 2020Updated 5 years ago
- This toolkit provides an implementation of Modified Adsorption (MAD), a graph-based semi-supervised learning (SSL) algorithm.☆24Jun 20, 2017Updated 8 years ago
- Crowdsourced data for open domain relation classification from sentences☆20Oct 26, 2018Updated 7 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Sep 7, 2024Updated last year
- Abductive reasoner for NLP in C++☆22Dec 17, 2018Updated 7 years ago
- **Sferes2 module** A unifying modular framework for Quality-Diversity algorithms☆22Nov 6, 2020Updated 5 years ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆52Feb 16, 2014Updated 12 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆32Dec 9, 2025Updated 2 months ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆31Sep 11, 2023Updated 2 years ago
- Framework for Gibbs sampling of probabilistic models☆49Apr 13, 2015Updated 10 years ago
- A distributed in-memory graph store.☆31Oct 17, 2016Updated 9 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Nov 15, 2017Updated 8 years ago
- Spark package to "plug" holes in data using SQL based rules ⚡️ 🔌☆29May 15, 2020Updated 5 years ago
- Markov Logic Networks in Python☆139Jun 15, 2021Updated 4 years ago
- A collection of Prolog libraries.☆88Aug 31, 2024Updated last year
- A framework, data and configs for generating and building Tesseract OCR lang.traineddata model files, specifically for Japanese☆10Dec 9, 2013Updated 12 years ago
- Probabilistic computation in Idris☆33Jul 2, 2019Updated 6 years ago
- An inductive logic programming system☆264Feb 2, 2026Updated 2 weeks ago
- A Common Lisp natural language processing toolkit☆54Nov 1, 2012Updated 13 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 7, 2026Updated last week
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago