LATPub607

PublikationenPublications

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

Toggle side column

Description Logics with Symbolic Number Restrictions

Franz BaaderFranz Baader,  Ulrike SattlerUlrike Sattler

Datei:BaaderSattler-LTCS3.ps.gz

• Download

Franz Baader, Ulrike Sattler
Description Logics with Symbolic Number Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-03, 1996

• Details
• Bibtex

• Bemerkung: Note: An abridged version has appeared in the Proceedings of the 12th European Conference on Artificial Intelligence, 1996, Budapest, Hungary.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ BaaderSattler-LTCS-96-03,
  author = {F. {Baader} and U. {Sattler}},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen},
  note = {An abridged version has appeared in the Proceedings of the 12th European Conference on Artificial Intelligence, 1996, Budapest, Hungary.},
  number = {LTCS-96-03},
  title = {Description Logics with Symbolic Number Restrictions},
  year = {1996},
}