GitHub topics: event-calculus
aartikis/RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning
Language: Prolog - Size: 11.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 88 - Forks: 16
Periklismant/oPIEC
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
Language: Prolog - Size: 1.9 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 19 - Forks: 2
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 at: over 1 year ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 2
aartikis/oPIEC Fork of Periklismant/oPIEC
Online Probabilistic Interval-based Event Calculus
Size: 1.52 MB - Last synced at: about 2 years ago - Pushed at: over 4 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 at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
cvlas/SimplEC
A Simplified Event Calculus dialect
Language: Prolog - Size: 3.31 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0