alreich / qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
☆35Updated 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☆46Updated 2 weeks ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Relational data mining in python☆31Updated 2 years ago
- NLP functionality on top of the Sigma system☆17Updated 2 weeks ago
- pylog: an implementation of Prolog features in Python☆36Updated 4 months ago
- ☆31Updated last year
- Deep relational learning through differentiable logic programming.☆104Updated 9 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆73Updated last month
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 2 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Sigma Knowledge Engineering Environment☆108Updated this week
- Python library that enables using prolog syntax and logic programming in python☆123Updated 2 years ago
- Logic Programming in Python☆31Updated 3 years ago
- Formal Concept Analysis with Python☆113Updated last year
- Machine Query Interface☆18Updated last week
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆233Updated 9 months ago
- Tool for building graph-based hierarchical knowledge representation systems☆79Updated 2 years ago
- Qualitative Spatial Relations library☆18Updated 4 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- ☆37Updated 5 months ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆62Updated 7 years ago
- An implementation of Defeasible Logic in Python☆16Updated 6 years 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…☆152Updated last month
- Tools to update and export ontology RDF.☆36Updated 4 months ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆37Updated last month
- OWL2 library for Prolog☆111Updated 5 years ago