aartikis / RTEC Star 100 Code Issues Pull requests 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 Dec 8, 2025 Prolog
manospits / Phenesthe Star 21 Code Issues Pull requests 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena. temporal-logic complex-event-processing event-processing-language temporal-phenomena Updated Dec 3, 2024 Prolog
Periklismant / oPIEC Star 19 Code Issues Pull requests 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 Dec 20, 2024 Prolog
aartikis / oPIEC Star 5 Code Issues Pull requests 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