Library

Export 8 results:
Filters: Author is Zuoquan Lin  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
Yue Ma, Zuoquan Lin, Pascal Hitzler. Paraconsistent Resolution for Four-valued Description Logics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (179.34 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Paraconsistent Reasoning for Expressive and Tractable Description Logics. In 21st International Workshop on Description Logics, DL2008; 2008.  (0 bytes)
M
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (152.34 KB)
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet, Tunisia; 2007.  (152.34 KB)
A
Yue Ma, Guilin Qi, Guohui Xiao, Zuoquan Lin, Pascal Hitzler. An Anytime Algorithm for Computing Inconsistency Measurement. In Third International Conference, KSEM 2009. 2009.  (238.94 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Algorithms for Paraconsistent Reasoning with OWL. In 4th European Semantic Web Conference, ESWC2007. Innsbruck, Austria; 2007.
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. In Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet,Tunisia; 2007. p. 91-102.  (494.11 KB)