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]

Abstract

Abstract is missing.