SPEEDD integrated prototype. RTEC Event Calculus for Run-Time reasoning ILED Learning event definitions with Inductive Logic Programming
