Keyword:Tableau

Publications
Reasoning in the presence of inconsistency through Preferential ALC Graham Deane, Krysia Broda and Alessandra Russo In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Building an Efficient OWL 2 DL Reasoner Boris Motik In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning