Towards a methodology for the validation of expert systems: the case of loge-expert
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
intelligence
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
IEEE Expert: Intelligent Systems and Their Applications
Water, wanted and unwanted: decision support in environmental applications
Systems Analysis Modelling Simulation - Special issue: Applications of information systems in environmental modelling
A Structured Testing Methodology for Knowledge-Based Systems
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Validation and verification of decision making rules
Automatica (Journal of IFAC)
Gray box robustness testing of rule systems
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Knowledge-Based Systems
| Hi-index | 0.00 |