Anytime computation of cautious consequences in answer set programming