event-calculus

Here are 6 public repositories matching this topic...

aartikis / RTEC

RTEC is an Event Calculus implementation optimised for stream reasoning

data-science cep prolog artificial-intelligence stream-processing logic-programming complex-event-processing multi-agent-systems data-stream-processing event-calculus stream-reasoning complex-event-recognition

Updated Sep 27, 2024
Prolog

Periklismant / oPIEC

Star

oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus

activity-recognition logic-programming complex-event-processing event-calculus stream-reasoning probabilistic-reasoning complex-event-recognition

Updated Oct 26, 2023
Prolog

aartikis / oPIEC

Star

Online Probabilistic Interval-based Event Calculus

logic-programming complex-event-processing data-streams event-calculus stream-reasoning probabilistic-reasoning complex-event-recognition

Updated Dec 9, 2020
Prolog

kazimierz-256 / EventCalculusWebApp

Star

An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.

javascript vuejs material-design prolog logic-programming knowledge-base knowledge-representation reasoning pengines event-calculus

Updated Nov 2, 2019
JavaScript

cvlas / SimplEC

Star

A Simplified Event Calculus dialect

dependency-graph prolog logic-programming event-calculus complex-event-recognition

Updated Mar 2, 2021
Prolog

cvlas / Scala-PIEC

Star

Scala implementation of the Probabilistic Interval-Based Event Calculus

probabilistic-models event-calculus

Updated Mar 4, 2020
Scala

Improve this page

Add a description, image, and links to the event-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the event-calculus topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

event-calculus

Here are 6 public repositories matching this topic...

aartikis / RTEC

Periklismant / oPIEC

aartikis / oPIEC

kazimierz-256 / EventCalculusWebApp

cvlas / SimplEC

cvlas / Scala-PIEC

Improve this page

Add this topic to your repo