  We briefly describe -- mainly through very simple examples -- different kinds
of answer-set programs with annotations that have been proposed for specifying:
database repairs and consistent query answering; secrecy view and query
evaluation with them; counterfactual interventions for causality in databases;
and counterfactual-based explanations in machine learning.
