pyreason (pypi): An explainable inference software supporting annotated, real valued, graph based and temporal logic
Keywords: logic|logic-programming|machine-learning|neurosymbolic|python|temporal-logic