Citation: Ad. Preece et al., EVALUATION OF VERIFICATION TOOLS FOR KNOWLEDGE-BASED SYSTEMS, International journal of human-computer studies, 47(5), 1997, pp. 629-658
Citation: R. Plant et Ad. Preece, SPECIAL ISSUE ON VERIFICATION AND VALIDATION, International journal of human-computer studies, 44(2), 1996, pp. 123-125
Citation: Ad. Preece et al., VALIDATING DYNAMIC PROPERTIES OF RULE-BASED SYSTEMS, International journal of human-computer studies, 44(2), 1996, pp. 145-169
Citation: Rm. Okeefe et Ad. Preece, THE DEVELOPMENT, VALIDATION AND IMPLEMENTATION OF KNOWLEDGE-BASED SYSTEMS, European journal of operational research, 92(3), 1996, pp. 458-473
Citation: Ad. Preece et R. Shinghal, FOUNDATION AND APPLICATION OF KNOWLEDGE-BASE VERIFICATION, International journal of intelligent systems, 9(8), 1994, pp. 683-701
Citation: Ad. Preece, A NEW APPROACH TO DETECTING MISSING KNOWLEDGE IN EXPERT SYSTEM RULE BASES, International journal of man-machine studies, 38(4), 1993, pp. 661-688