Hsueh-Ieng Pai

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
A formal framework for description logics with uncertainty. Int. J. Approx. Reason. 50 (9) (2009)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. URSW (LNCS Vol.) (2008)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
Optimizing Tableau Reasoning in ALC Extended with Uncertainty. Description Logics (2007)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
. CSWWS (2006)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
Uncertainty Reasoning in Description Logics: A Generic Approach. FLAIRS Conference (2006)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
A Generic Framework for Description Logics with Uncertainty. ISWC-URSW (2005)