the problem with solutions to the frame problem leora morgenstern .
Default reasoning, nonmonotonic logics, and the frame problem