Expressing preferences in default logic

We address the problem of reasoning about preferences among properties (out- comes, desiderata, etc.) in Reiter's default logic. Preferences are expressed using an ordered default theory, consisting of default rules, world knowledge, and an ordering, reecting preference, on the default rules. In contrast with previous work in the area, we do not rely on prioritised versions of default logic, but