LATPub17

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
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-05, 1990. {DFKI} Research Report

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ DFKI-RR-90-05,
  author = {F. {Baader}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  number = {{RR}-90-05},
  title = {A Formal Definition for Expressive Power of Knowledge Representation Languages},
  type = {{DFKI} Research Report},
  year = {1990},
}