ExpExpExplosion: Uniform Interpolation in General EL Terminologies

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

ExpExpExplosion: Uniform Interpolation in General EL Terminologies

Nadeschda NikitinaNadeschda Nikitina,  Sebastian RudolphSebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies


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