KIT | KIT-Bibliothek | Impressum | Datenschutz

ExpExpExplosion: Uniform Interpolation in General EL Terminologies

Nikitina, Nadeschda; Rudolph, Sebastian



Originalveröffentlichung
DOI: 10.3233/978-1-61499-098-7-618
Scopus
Zitationen: 13
Seitenaufrufe: 5
seit 27.04.2018
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
ISSN: 0922-6389
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 Pr., Amsterdam
Seiten 618-623
Serie Frontiers in artificial intelligence and applications ; 242
Nachgewiesen in Scopus
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page