Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

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