LATPub20

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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