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.☆86Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆48Updated last week
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- ☆43Updated 7 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆76Updated last month
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆36Updated last year
- Classical CHAT80 NLP system for Prolog☆22Updated 4 months ago
- Final Year Masters Project: modal logic solver tableaux☆23Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- Metagol - an inductive logic programming system☆202Updated 3 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- ☆22Updated 7 months ago
- NLP functionality on top of the Sigma system☆17Updated 3 weeks ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆93Updated 2 weeks ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Port of Aleph to SWI-Prolog☆48Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆349Updated 3 months ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- ☆142Updated 2 weeks ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated 2 months ago
- Machine Query Interface☆19Updated last month
- DeepAlgebra☆25Updated 7 years ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 4 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago