Model Checking the Inconsistency and Circularity in Rule-Based Expert Systems
Desheng Xu, Kejian Xia, Dezheng Zhang, Huangsheng Zhang · Computer and Information Science · 2009
<!-- /* Font Definitions */ @font-face {font-family:??; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-alt:SimSun; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 135135232 16 0 262145 0;} @font-face {font-family: