Library
. Computational Complexity and Anytime Algorithm for Inconsistency Measurement. International Journal of Software and Informatics. 2010 ;:3-21. 
(478.9 KB)
(478.9 KB). An Anytime Algorithm for Computing Inconsistency Measurement. In Third International Conference, KSEM 2009. 2009. (238.94 KB)
(238.94 KB). Paraconsistent Reasoning for Expressive and Tractable Description Logics. In 21st International Workshop on Description Logics, DL2008; 2008. 
(0 bytes)
(0 bytes). 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)
(494.11 KB). Algorithms for Paraconsistent Reasoning with OWL. In 4th European Semantic Web Conference, ESWC2007. Innsbruck, Austria; 2007.
. 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)
(152.34 KB). Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In the 2007 International Workshop on Description Logics (DL-2007); 2007. (152.34 KB)
(152.34 KB). Paraconsistent Resolution for Four-valued Description Logics. In the 2007 International Workshop on Description Logics (DL-2007); 2007. (179.34 KB)
(179.34 KB)