Evaluation of ATMS
ATMS is adequate whenever all the solutions to the problem of consistency management are needed.
Changing the set of beliefs (an therefore considering different assumptions) is easily performed just by switching to another context. No labelling operations are needed.
Backtracking is not needed since all possible combinations of assumptions are already considered
Comparing sets of beliefs is possible, since they are always available. However, the choice of the best context to refer to is a (possibly) difficult problem, still open!
Maintaining simultaneously all possible world is resource consuming.