Abstract Answer Set Solvers for Cautious Reasoning