Last released May 16, 2024
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Supported by
