Nonmonotonic logics are logics capable of formalizing defeasible inferences, i.e. inferences leading to conclusions that are withdrawn in case additional information, or additional premises, contradicts the defeasible ...