Preferred Answer Sets for Ordered Logic Programs

Davy Van Nieuwenborgh, Dirk Vermeir

We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it…