Vortrag722
Aus Aifbportal
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Informationen zum Vortrag
Datum: 15. Juli 2008
Titel: Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Referent: Sebastian Rudolph
Veranstaltung:
Name: 23rd AAAI Conference on Artficial Intelligence (AAAI-08)
Ort: Chicago
Land: AA
Forschungsgruppe: Web Science und Wissensmanagement