KIT | KIT-Bibliothek | Impressum | Datenschutz

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

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



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2008
Sprache Englisch
Identifikator ISBN: 978-1-57735-368-3
KITopen ID: 1000016640
Erschienen in Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, 13 - 17 July 2008, Chicago, Illiois, USA. Ed.: D. Fox.
Verlag AAAI Press, Menlo Park (Calif.)
Seiten 529 - 534
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page