Debugging of answer set programs using paracoherent reasoning