Vortrag722

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

Sebastian Rudolph

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: Wissensmanagement