Weighted Defaults in Description Logics: Formal Properties and Proof Theory.

Joachim Quantz, Sven Suska

Browse the full KI paper archive.