Semantic Preferential Subsumption.

Katarina Britz, Johannes Heidema, Thomas Andreas Meyer

Browse the full KR paper archive.