cfaed Publications
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.
Reference
Michel Ludwig, Boris Konev, "Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.", In Proceeding: KR, 2014.
Bibtex
@inproceedings{ludwig2014practical,
title={Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.},
author={Ludwig, Michel and Konev, Boris},
booktitle={KR},
year={2014}
}
title={Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.},
author={Ludwig, Michel and Konev, Boris},
booktitle={KR},
year={2014}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=261