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

Downloads

No Downloads available for this publication

Related Paths

Resilience Path

Permalink

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


Go back to publications list