A tutorial on default logics
system z : a natural ordering of defaults with tractable applications to nonmonotonic reasoning .