Belief Revision by Expansion

We show that the standard framework for belief revision has to be adapted in order to deal with revision in non-monotonic theories. The reason is that sometimes expanding a theory seems to be more appropriate than contracting it in order to remove inconsistencies that occur as a consequence of adopting a non-standard semantics. We illustrate this approach by applying revision by expansion truth maintenance.