 | 2008 |
|---|
| 5 |       | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic.
URSW (LNCS Vol.) 2008: 385-402 |
| 2007 |
|---|
| 4 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Optimizing Tableau Reasoning in ALC Extended with Uncertainty.
Description Logics 2007 |
| 2006 |
|---|
| 3 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Completion Rules for Uncertainty Reasoning with the Description Logic ALC.
CSWWS 2006: 205-225 |
| 2 |  | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Uncertainty Reasoning in Description Logics: A Generic Approach.
FLAIRS Conference 2006: 818-823 |
| 2005 |
|---|
| 1 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
A Generic Framework for Description Logics with Uncertainty.
ISWC-URSW 2005: 77-86 |
