Variants of the Event Calculus