RTEC is an Event Calculus implementation optimised for stream reasoning
-
Updated
Dec 17, 2024 - Prolog
RTEC is an Event Calculus implementation optimised for stream reasoning
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
Online Probabilistic Interval-based Event Calculus
An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.
A Simplified Event Calculus dialect
Scala implementation of the Probabilistic Interval-Based Event Calculus
Add a description, image, and links to the event-calculus topic page so that developers can more easily learn about it.
To associate your repository with the event-calculus topic, visit your repo's landing page and select "manage topics."