She developed the first computational models and anytime algorithms for Belief Revision Operators to be applied to real-world problems. Anytime algorithms have a critically important feature for real-world applications, the more time they have the better there outcomes. Not all algorithms have this feature. For example, venturing down fruitless decision/search tree branches usually means backtracking to a weaker outcome.