Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Aus International Center for Computational Logic
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Franz BaaderFranz Baader
![Terminological Cycles in KL-ONE-based Knowledge Representation Languages Terminological Cycles in KL-ONE-based Knowledge Representation Languages](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, 621-626, 1990
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, 621-626, 1990
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Baader-AAAI-90,
address = {Boston (USA)},
author = {F. {Baader}},
booktitle = {Proceedings of the Eighth National Conference on Artificial Intelligence, {AAAI-90}},
pages = {621--626},
title = {Terminological Cycles in {KL}-{ONE}-based Knowledge Representation Languages},
year = {1990},
}