KIT | KIT-Bibliothek | Impressum | Datenschutz

Semi-Automatic Revision of Formalized Knowledge

Nikitina, Nadejda



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISBN: 978-1-60750-605-8
ISSN: 0922-6389
KITopen-ID: 1000022633
Erschienen in ECAI 2010 - Proceedings of the 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010. Ed.: H. Coelho
Verlag IOS Press
Seiten 1097-1098
Serie Frontiers in Artificial Intelligence and Applications ; 215
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page