Reasoning about Discontinuities in the Event Calculus.

Rob Miller 0002 Murray Shanahan Reasoning about Discontinuities in the Event Calculus. 63-74 1996 KR db/conf/kr/kr96.html#MillerS96