Stage-oe-small.jpg

Vortrag722/en

Aus Aifbportal
Wechseln zu:Navigation, Suche
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