A Formal Definition for Expressive Power of Knowledge Representation Languages

Franz BaaderFranz Baader

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

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

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