4 results found Sort:

13
181
other
5
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Created 2022-10-22
458 commits to main branch, last one 2 months ago
35
111
bsd-3-clause
15
Temporal Logic Planning toolbox
Created 2013-10-30
4,130 commits to main branch, last one about a month ago
Path planning from STL (Signal Temporal Logic) specifications
Created 2021-09-10
4 commits to master branch, last one about a year ago
3
33
apache-2.0
3
[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 4 months ago