Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

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]

Authors

Boris Konev

This author has not been identified. Look up 'Boris Konev' in Google

Dirk Walther

This author has not been identified. Look up 'Dirk Walther' in Google

Frank Wolter

This author has not been identified. Look up 'Frank Wolter' in Google