Robust Equivalence Models for Semantic Updates of Answer-Set Programs