Guilin Qi/Vorträge/en: Unterschied zwischen den Versionen
Maza (Diskussion | Beiträge) (Auto create by AifbPortalExt) |
(Overridden by AifbPortalExt) |
||
Zeile 1: | Zeile 1: | ||
{{Vorlage:Wiki Seite Vorträge nach Author/en| | {{Vorlage:Wiki Seite Vorträge nach Author/en| | ||
− | {{#rel2abs:../..}} | + | {{#rel2abs:../..}}}} |
Version vom 20. November 2009, 18:54 Uhr
=Talks by [[ Guilin Qi/en| Guilin Qi]]=
Guilin Qi
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
3rd Asian Semantic Web Conference,
Thailand
Bangkok, 3.2.2009
(Details)
Guilin Qi
A Tableau Algorithm for Possibilistic Description Logic
3rd Asian Semantic Web Conference,
Thailand
Bangkok, 3.2.2009
(Details)
Guilin Qi
A Survey of Revision Approaches in Description Logics
Second International Conference on Web Reasoning and Rule Systems,
D
31.10.2008
(Details)
Guilin Qi
A Kernel Revision Operator for Terminologies - Algorithms and Evaluation
7th International Semantic Web Conference,
D
29.10.2008
(Details)
Guilin Qi
A Survey of Revision Approaches in Description Logics
21st International Workshop on Description Logics,
D
16.5.2008
(Details)
Guilin Qi
A Kernel Revision Operator for Terminologies
21st International Workshop on Description Logics,
D
15.5.2008
(Details)