KIT | KIT-Bibliothek | Impressum | Datenschutz

Complexity Boundaries for Horn Description Logics

Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2007
Sprache Englisch
Identifikator ISBN: 978-1-57735-323-2
KITopen-ID: 1000016991
Erschienen in Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 22-26 July 2007, Vancouver, British Columbia, Canada; Part 1
Verlag AAAI Press, Menlo Park (Calif.)
Seiten 452 - 457
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page