alreich / qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
☆32Updated last year
Alternatives and similar repositories for qualreas:
Users that are interested in qualreas are comparing it to the libraries listed below
- Python interface for SWI-Prolog☆45Updated 3 weeks 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
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated 9 months ago
- A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It c…☆147Updated last month
- Sigma Knowledge Engineering Environment☆104Updated this week
- Logic Programming in Python☆31Updated 3 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 4 years ago
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- Visualize RDF data in Jupyter with Pandas☆134Updated 3 years ago
- Semantic flow graphs for data science☆28Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆102Updated 7 months ago
- pylog: an implementation of Prolog features in Python☆36Updated 2 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆73Updated 3 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Relational data mining in python☆31Updated 2 years ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆55Updated 8 months ago
- ClioPatria provides an RDF application platform☆53Updated 11 months ago
- A library for manipulating DMRS structures☆14Updated 4 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆35Updated 4 months ago
- ☆56Updated last year
- This repository contains the Framester resource, the main outcome of the framester project.☆33Updated 4 years ago
- top-down interpreter for ASP programs with constraints☆16Updated 2 years ago
- Machine Query Interface☆18Updated 3 weeks ago
- Top-down interpreter for ASP programs with Constraints☆25Updated 3 months ago
- Extracting action sequences and generating domain models.☆14Updated 2 years ago
- Evolutionary Graph Pattern Learner that learns SPARQL queries for a given set of source-target-pairs from an endpoint.☆85Updated 2 years ago
- Python library that enables using prolog syntax and logic programming in python☆121Updated 2 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago