cfaed Publications
Approximate Unification in the Description Logic$\backslash$ mathcal $\{$FL$}$ _0
Reference
Franz Baader, Pavlos Marantidis, Alexander Okhotin, "Approximate Unification in the Description Logic$\backslash$ mathcal $\{$FL$}$ _0", In Proceeding: European Conference on Logics in Artificial Intelligence, pp. 49–63, 2016.
Bibtex
@inproceedings{baader2016approximate,
title={Approximate Unification in the Description Logic$\backslash$ mathcal $\{$FL$\}$ \_0},
author={Baader, Franz and Marantidis, Pavlos and Okhotin, Alexander},
booktitle={European Conference on Logics in Artificial Intelligence},
pages={49--63},
year={2016},
organization={Springer}
}
title={Approximate Unification in the Description Logic$\backslash$ mathcal $\{$FL$\}$ \_0},
author={Baader, Franz and Marantidis, Pavlos and Okhotin, Alexander},
booktitle={European Conference on Logics in Artificial Intelligence},
pages={49--63},
year={2016},
organization={Springer}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1998