m-westphal / gqrLinks
GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
☆17Updated 7 years ago
Alternatives and similar repositories for gqr
Users that are interested in gqr are comparing it to the libraries listed below
Sorting:
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- ☆21Updated 7 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆75Updated 3 weeks ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- OWL2 library for Prolog☆111Updated 5 years ago
- ☆56Updated last year
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆36Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- A framework for PSL inference.☆21Updated 9 years ago
- NLP functionality on top of the Sigma system☆17Updated this week
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- ☆15Updated 6 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Formal Concept Analysis with Python☆116Updated this week
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆79Updated 9 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated last month
- CausalTrail - a tool for performing causal reasoning using the do-calculus☆12Updated 3 years ago
- Command-line corpus tools☆9Updated 8 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- This repository contains the Framester resource, the main outcome of the framester project.☆33Updated 5 years ago