4 results found Sort:

16
206
other
7
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Created 2022-10-22
863 commits to main branch, last one 28 days ago
35
117
bsd-3-clause
15
Temporal Logic Planning toolbox
Created 2013-10-30
4,130 commits to main branch, last one 4 months ago
Path planning from STL (Signal Temporal Logic) specifications
Created 2021-09-10
4 commits to master branch, last one 2 years ago
3
34
apache-2.0
2
[NeurIPS 2023] TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph
Created 2022-02-06
473 commits to main branch, last one 8 months ago