Up a level |
Number of items: 1.
Ludwig, M and Konev, B ORCID: 0000-0002-6507-0494
(2014)
Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference.
In: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning.