6 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
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…