Abstract
Selman and Kautz's paper on the logic of model-preference defaults introduced a new language and tractability results. This paper assesses the contributions of that work, including the properties of the logic itself, its relationship to some previous logics, and its applicability to some known tractable problems.
Get full access to this article
View all access options for this article.