Stage-oe-small.jpg

Guilin Qi/Vorträge/en: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Overridden by AifbPortalExt)
K (Textersetzung - „{{Vorlage:Wiki Seite Vorträge nach Author/en| {{#rel2abs:../..}}}}“ durch „{{Vorlage:Wiki Seite Vorträge nach Author/en|{{#rel2abs:../..}}}}“)
 
Zeile 1: Zeile 1:
{{Vorlage:Wiki Seite Vorträge nach Author/en|
+
{{Vorlage:Wiki Seite Vorträge nach Author/en|{{#rel2abs:../..}}}}
{{#rel2abs:../..}}}}
 

Aktuelle Version vom 30. November 2009, 16:17 Uhr

Talks by Guilin Qi

Guilin Qi
A Tableau Algorithm for Possibilistic Description Logic
3rd Asian Semantic Web Conference, 
Thailand
Bangkok, 3.2.2009
(Details)


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 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)