Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Vortrag691/en

Aus Aifbportal

Wechseln zu: Navigation, Suche
A Tableau Algorithm for Possibilistic Description Logic


About the Talk

Date: 2009-02-03
Title: A Tableau Algorithm for Possibilistic Description Logic
Author: Guilin Qi


Event:
Name: 3rd Asian Semantic Web Conference
Location: Bangkok
Country: Thailand

Research Group: Web Science