intelligence
A Structured Testing Methodology for Knowledge-Based Systems
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
On automatic knowledge validation for Bayesian knowledge bases
Data & Knowledge Engineering
Validation and verification of decision making rules
Automatica (Journal of IFAC)
Toward the formal verification of a unification system
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Toward the formal verification of a unification system
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
Knowledge-Based Systems
A rule-based intelligent multimedia streaming server system
Journal of Mobile Multimedia
| Hi-index | 0.02 |