Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Evaluation of expert system testing methods
Communications of the ACM
intelligence
Discovering similar patterns in time series
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Testing Expert Systems in Process Control
IEEE Transactions on Knowledge and Data Engineering
Rule-Based System Validation through Automatic Identification of Equivalence Classes
IEEE Transactions on Knowledge and Data Engineering
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Measuring the Structural Complexity of OPS5 Rule-Based Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Feature construction for reduction of tabular knowledge-based systems
Information Sciences—Informatics and Computer Science: An International Journal
Feature Selection for Reduction of Tabular Knowledge-Based Systems
Information Technology and Management
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
Test case generation using KBS strategy
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Validation and verification of decision making rules
Automatica (Journal of IFAC)
| Hi-index | 0.02 |