relation-algebras

Here are 2 public repositories matching this topic...

alreich / qualreas

Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.

directed-graph artificial-intelligence networkx spatio-temporal constraint-propagation interval-algebra spatial-reasoning networkx-graph temporal-reasoning relation-algebras qualitative-reasoning temporal-reasoning-network rcc8 region-connection-calculus point-algebra bitsets singleton-labelings singleton-labellings singleton-labelling

Updated Sep 5, 2023
Jupyter Notebook

alreich / constraint-algebras

Star

Algebras for qualitative reasoning about time, space, etc.

time rdf common-lisp w3c owl ontology artificial-intelligence temporal-networks web-ontology-language constraint-propagation reasoning time-intervals temporal-reasoning relation-algebra branching-time time-points relation-algebras qualitative-reasoning

Updated Dec 6, 2020
Common Lisp

Add this topic to your repo

To associate your repository with the relation-algebras topic, visit your repo's landing page and select "manage topics."

Learn more