Revision by Expansion in Logic Programs.
Cees Witteveen, Catholijn M. Jonker · 1992
We discuss the general problem of revising a contradictory non-monotonic theory and we show that sometimes expanding the theory is more appropriate than contracting it in order to remove the contradiction. We apply this idea of theory-expansion to logic programs with negation and constraints.