A Formal Definition for the Expressive Power of Knowledge Representation Languages

Franz Baader. A Formal Definition for the Expressive Power of Knowledge Representation Languages. In ECAI. pages 53-58, 1990.

@inproceedings{Baader90:1,
  title = {A Formal Definition for the Expressive Power of Knowledge Representation Languages},
  author = {Franz Baader},
  year = {1990},
  researchr = {https://researchr.org/publication/Baader90%3A1},
  cites = {0},
  citedby = {0},
  pages = {53-58},
  booktitle = {ECAI},
}