Reasoning-Supported Interactive Revision of Knowledge Bases

Nikitina, N. ¹; Rudolph, S. ¹; Glimm, B.
¹ Karlsruher Institut für Technologie (KIT)

Scopus

Seitenaufrufe: 27
seit 04.08.2018

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2011
Sprache	Englisch
Identifikator	ISSN: 1613-0073 KITopen-ID: 1000036130
Erschienen in	Proceedings of the 24th International Workshop on Description Logics (DL2011), Barcelona, Spain, July 13th to July 16th, 2011. Ed.: Riccardo Rosati
Verlag	RWTH Aachen
Seiten	356-366
Serie	CEUR Workshop Proceedings ; 745
Nachgewiesen in	Scopus