Quasi-Acyclic Propositional Horn Knowledge Bases: Optimal Compression
IEEE Transactions on Knowledge and Data Engineering
Testing Expert Systems in Process Control
IEEE Transactions on Knowledge and Data Engineering
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Validation and verification of decision making rules
Automatica (Journal of IFAC)
On the soundness and safety of expert systems
Artificial Intelligence in Medicine
| Hi-index | 0.00 |