The Labeled Interval Calculus (LIC) as presented in (Ward, 1989) defined three interval propagation operations for use with strictly monotonic constraint equations. This paper generalizes those propagation operations to non-monotonic constraint equations and illustrates their use by examples.

This content is only available via PDF.
You do not currently have access to this content.