Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: event-calculus
aartikis/RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning
Language: Prolog - Size: 13 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 78 - Forks: 15
kazimierz-256/EventCalculusWebApp
An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.
Language: JavaScript - Size: 18.1 MB - Last synced: 4 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 2
Periklismant/oPIEC
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
Language: Prolog - Size: 1.9 MB - Last synced: 5 months ago - Pushed: 7 months ago - Stars: 15 - Forks: 1
aartikis/oPIEC Fork of Periklismant/oPIEC
Online Probabilistic Interval-based Event Calculus
Size: 1.52 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0
cvlas/Scala-PIEC
Scala implementation of the Probabilistic Interval-Based Event Calculus
Language: Scala - Size: 87.5 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
cvlas/SimplEC
A Simplified Event Calculus dialect
Language: Prolog - Size: 3.31 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0