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}
}

Downloads

No Downloads available for this publication

Related Paths

Biological Systems Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=261


Go back to publications list