Reasoning about Discontinuities in the Event Calculus

Rob Miller 0002, Murray Shanahan. Reasoning about Discontinuities in the Event Calculus. In KR. pages 63-74, 1996.

Abstract

Abstract is missing.