KIT | KIT-Bibliothek | Impressum

ExpExpExplosion: Uniform Interpolation in General EL Terminologies

Nikitina, Nadeschda; Rudolph, Sebastian



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2012
Sprache Englisch
Identifikator ISBN: 978-1-614-99097-0
KITopen ID: 1000036050
Erschienen in ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France. Ed.: L. de Raedt
Verlag IOS, Amsterdam/Niederlande
Seiten 618-623
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page