Reasoning in Defeasible Description Logics with System W and Lexicographic Inference.

Giovanni Casini, Jonas Haldimann, Thomas Meyer

Browse the full KR paper archive.