Robust Equivalence Models for Semantic Updates of Answer-Set Programs

Open in new window