Resolving Disruptions in Simple Temporal Problems

Simple Temporal Problems (STPs) can be used for representation of and reasoning with temporal constraint satisfaction problems. In dynamic environments, it often happens that - after a problem has been modelled as an STP - a change occurs in one of the constraints. This can lead to an inconsistent situation, in which case there are negative...