RTEC is an Event Calculus implementation optimised for stream reasoning
aartikis
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
Periklismant