Vortrag722/en
Aus Aifbportal
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
About the Talk
Date: 2008-07-15
Title: Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Author: Sebastian Rudolph
Event:
Name: 23rd AAAI Conference on Artficial Intelligence (AAAI-08)
Location: Chicago
Country: AA
Research Group: Web Science