Extending the Event Calculus with Temporal Granularity and Indeterminacy