event-calculus

There are 0 repository under event-calculus topic.

aartikis / RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning
logic-programming data-stream-processing artificial-intelligence data-science complex-event-processing multi-agent-systems stream-reasoning stream-processing cep event-calculus prolog complex-event-recognition
Language:Prolog 79
Periklismant / oPIEC
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
complex-event-processing complex-event-recognition stream-reasoning event-calculus probabilistic-reasoning activity-recognition logic-programming
Language:Prolog 15
aartikis / oPIEC
Online Probabilistic Interval-based Event Calculus
complex-event-recognition complex-event-processing event-calculus logic-programming stream-reasoning data-streams probabilistic-reasoning
Language:Prolog 4
EventCalculusWebApp
kazimierz-256 / EventCalculusWebApp
An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.
knowledge-representation knowledge-base reasoning logic-programming prolog pengines material-design javascript vuejs event-calculus
Language:JavaScript 3
cvlas / SimplEC
A Simplified Event Calculus dialect
event-calculus prolog dependency-graph complex-event-recognition logic-programming
Language:Prolog 1
cvlas / Scala-PIEC
Scala implementation of the Probabilistic Interval-Based Event Calculus
event-calculus probabilistic-models
Language:Scala 0