cfaed Publications
Approximate Unification in the Description Logic FL_0
Reference
Franz Baader, Pavlos Marantidis, Alexander Okhotin, "Approximate Unification in the Description Logic FL_0", Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Loizos Michael and Antonis C. Kakas), vol. 10021, pp. 49-63, 2016. [doi]
Bibtex
@InProceedings{conf/jelia/BaaderMO16,
author = {Franz Baader and Pavlos Marantidis and Alexander Okhotin},
title = {Approximate Unification in the Description Logic FL\_0},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA} 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
pages = {49-63},
doi = {10.1007/978-3-319-48758-8_4},
url = {http://dx.doi.org/10.1007/978-3-319-48758-8_4},
editor = {Loizos Michael and Antonis C. Kakas},
series = {Lecture Notes in Computer Science},
volume = {10021},
year = {2016},
isbn = {978-3-319-48757-1},
}
author = {Franz Baader and Pavlos Marantidis and Alexander Okhotin},
title = {Approximate Unification in the Description Logic FL\_0},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA} 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
pages = {49-63},
doi = {10.1007/978-3-319-48758-8_4},
url = {http://dx.doi.org/10.1007/978-3-319-48758-8_4},
editor = {Loizos Michael and Antonis C. Kakas},
series = {Lecture Notes in Computer Science},
volume = {10021},
year = {2016},
isbn = {978-3-319-48757-1},
}
Downloads
No Downloads available for this publication
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1304