1 paper
Andrew Bate, Boris Motik, Bernardo Cuenca Grau +2
Consequence-based calculi are a family of reasoning algorithms for description logics (DLs), and they combine hypertableau and resolution in a way that often achieves excellent per…