Abstract
Shoham proposed a uniform approach to systems for nonmonotonic reasoning, which consists
in considering standard logics augmented with a preference relation on the interpretations.
Circumscription can easily seen to be a special case of this preference logic framework, but
capturing default logic turned out to be, more difficult, and is even thought to
... read more