Content deleted Content added
Johan.Mazel (talk | contribs) |
Bmpcardoso (talk | contribs) |
||
Line 88:
* [https://github.com/alreich/qualreas qualreas] is a Python framework for qualitative reasoning over networks of relation algebras, such as RCC-8, Allen's interval algebra, and Allen's algebra integrated with Time Points and situated in either Left- or Right-Branching Time.
* [https://github.com/dwolter/SparQ SparQ] is a reasoner for Allen's interval algebra (and many others)
* [https://www.metaphorofitself.net/evexl-introduction EveXL] is a small ___domain-specific language for the detection of events that implements the Interval Algebra's operators via ASCII art patterns.
==See also==
| |||