aartikis / RTEC Star 82 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 Jul 15, 2024 Prolog
manospits / Phenesthe Star 20 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 Mar 12, 2024 Prolog
Periklismant / oPIEC Star 17 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 Oct 26, 2023 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