A proposed methodology for knowledge based systems development
ACM SIGSOFT Software Engineering Notes
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
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems
Formal consistency verification of deliberative agents with respect to communication protocols
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
| Hi-index | 0.00 |