Yue Kang;Terry A. Bahill
-;-
Testing Expert Systems in Process Control
IEEE Transactions on Knowledge and Data Engineering
Using Directed Hypergraphs to Verify Rule-Based Expert Systems