Reasoning in the presence of inconsistency through Preferential ALC.

Graham Deane, Krysia Broda, Alessandra Russo

Browse the full LPAR paper archive.