Michel Ludwig, Dirk Walther 0002. Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. In Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas, editors, GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. Volume 41 of EPiC Series in Computing, pages 147-160, EasyChair, 2016. [doi]
@inproceedings{Ludwig016,
title = {Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach},
author = {Michel Ludwig and Dirk Walther 0002},
year = {2016},
url = {http://www.easychair.org/publications/paper/Towards_a_Practical_Decision_Procedure_for_Uniform_Interpolants_of_EL-TBoxes_-_a_Proof-Theoretic_Approach},
researchr = {https://researchr.org/publication/Ludwig016},
cites = {0},
citedby = {0},
pages = {147-160},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany},
editor = {Christoph Benzmüller and Geoff Sutcliffe and Raúl Rojas},
volume = {41},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}