Boris Konev, Dirk Walther, Frank Wolter. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 830-835, 2009. [doi]
@inproceedings{KonevWW09-0, title = {Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies}, author = {Boris Konev and Dirk Walther and Frank Wolter}, year = {2009}, url = {http://ijcai.org/papers09/Papers/IJCAI09-142.pdf}, tags = {logic}, researchr = {https://researchr.org/publication/KonevWW09-0}, cites = {0}, citedby = {0}, pages = {830-835}, booktitle = {IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, editor = {Craig Boutilier}, }