A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and show that all existing approaches fail to satisfy them. We develop a new approach which does not suffer from these shortcomings. We start with the simplest case, supernormal default theories, where preferences are handle...

An operator for the composition of two processes, where one process has priority over the other process, is studied. Processes are described by action systems, and data refinement is used for transforming processes. The operator is shown to be compositional, i.e. monotonic with respect to refinement. It is argued that this operator is adequate for modelling priorities as found in programming la...

Many approaches to the feature-interaction problem propose resolving interactions among modular features by priority. However, feature-rich services, like telephony, offer hundreds of features, raising questions of whether analyzing and prioritizing features is feasible. This article categorizes features by their goals and functionalities. We discuss how features, collected from customer-servic...

For wide-ranging species, it is often too expensive or politically challenging to effectively implement conservation action across their range. In these cases, actions may be vigorously applied where the situation appears most dire, but inadvertently at expense of success more probable. Consequently, prudent use a prioritization approach that highlights areas probable success. Using Southern Mo...