ExpExpExplosion: Uniform Interpolation in General EL Terminologies

Nikitina, Nadeschda ¹; Rudolph, Sebastian ¹
¹ Karlsruher Institut für Technologie (KIT)

Originalveröffentlichung
DOI: 10.3233/978-1-61499-098-7-618

Scopus
Zitationen: 16

Seitenaufrufe: 53
seit 27.04.2018

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	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.
Seiten	618-623
Serie	Frontiers in artificial intelligence and applications ; 242
Nachgewiesen in	Scopus
Relationen in KITopen	Verweist auf Uniform Interpolation in General EL Terminologies. Nikitina, Nadeschda (2011) Forschungsbericht/Preprint (1000091499)