ExpExpExplosion: Uniform Interpolation in General EL Terminologies

PublikationenPublications

• Nach AutorBy Author
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

ExpExpExplosion: Uniform Interpolation in General EL Terminologies

Nadeschda NikitinaNadeschda Nikitina,  Sebastian RudolphSebastian Rudolph

Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
ECAI, 618-623, 2012

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{NR2012,
  author    = {Nadeschda Nikitina and Sebastian Rudolph},
  title     = {ExpExpExplosion: Uniform Interpolation in General {EL}
               Terminologies},
  booktitle = {ECAI},
  year      = {2012},
  pages     = {618-623}
}