Incremental Event Calculus for Run-Time Reasoning