#

branching-time

Here is 1 public repository matching this topic...

alreich / constraint-algebras

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

Improve this page

Add a description, image, and links to the branching-time topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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