A Guided Tour Through some Extensions of the Event Calculus