Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Rtec | 74 | 5 months ago | lgpl-3.0 | Prolog | ||||||
RTEC is an Event Calculus implementation optimised for stream reasoning | ||||||||||
Incremental_rtec | 7 | 2 years ago | Prolog | |||||||
Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order streams. |