Reasoning about Discontinuities in the Event Calculus.

Rob Miller, Murray Shanahan

Browse the full KR paper archive.