alreich / qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
☆31Updated last year
Related projects ⓘ
Alternatives and complementary repositories for qualreas
- Relational data mining in python☆31Updated 2 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Python interface for SWI-Prolog☆42Updated this week
- A library for manipulating DMRS structures☆14Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- Qualitative Spatial Relations library☆18Updated 4 years ago
- Python library that enables using prolog syntax and logic programming in python☆116Updated last year
- A rule engine based on Attempto Controlled English☆18Updated 2 weeks ago
- Finds linguistic patterns effortlessly☆33Updated last year
- AllegroGraph Python client☆39Updated last month
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆76Updated last year
- 💊 Qualitative and quantitative optimization in answer set programming☆19Updated 5 months ago
- This repository contains the Framester resource, the main outcome of the framester project.☆34Updated 4 years ago
- Formal Concept Analysis with Python☆111Updated 8 months ago
- Top-down interpreter for ASP programs with Constraints☆24Updated this week
- ☆26Updated 9 months ago
- Deep relational learning through differentiable logic programming.☆100Updated 3 months ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- top-down interpreter for ASP programs with constraints☆15Updated 2 years ago
- Julia wrapper around SWI Prolog☆13Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated 3 weeks ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 4 years ago
- Python package for Sentential Decision Diagrams (SDD)☆54Updated 3 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago