A Formal Definition for Expressive Power of Knowledge Representation Languages

From International Center for Computational Logic

Toggle side column

A Formal Definition for Expressive Power of Knowledge Representation Languages

Franz BaaderFranz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages


Franz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages
Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90, 53-58, 1990
@inproceedings{ Baader-ECAI-90,
  address = {Stockholm (Schweden)},
  author = {F. {Baader}},
  booktitle = {Proceedings of the 9th European Conference on Artificial Intelligence, {ECAI-90}},
  pages = {53--58},
  title = {A Formal Definition for Expressive Power of Knowledge Representation Languages},
  year = {1990},
}