Reasoning in the presence of inconsistency through Preferential ALC

Graham Deane, Krysia Broda, Alessandra Russo. Reasoning in the presence of inconsistency through Preferential ALC. In Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, editors, 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Volume 35 of EPiC Series in Computing, pages 67-80, EasyChair, 2015. [doi]

Abstract

Abstract is missing.