Terminological Cycles in KL-ONE-based Knowledge Representation Languages

From International Center for Computational Logic

Toggle side column

Terminological Cycles in KL-ONE-based Knowledge Representation Languages

Franz BaaderFranz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages


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