Cautious reasoning in ASP via minimal models and unsatisfiable cores