Keyword:Gentzen-style proof calculus

Publications
Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach Michel Ludwig and Dirk Walther In:GCAI 2016. 2nd Global Conference on Artificial Intelligence