An illustration of verification and validation in the modelling phase of KBS development

Knowledge and data engineering

Chittoor V. Ramamoorthy, Benjamin W. Wah · IEEE Transactions on Knowledge and Data Engineering · 1989 · 669 citations

Computing, Computer Engineering, Computer Science +8

Expert system verification and validation: a survey and tutorial

Robert M. O’Keefe, Daniel E. O’Leary · Artificial Intelligence Review · 1993 · 199 citations

Computing, Computer Science, Systems Engineering +10

Foundation and application of knowledge base verification

Alun Preece, Rajjan Shinghal · International Journal of Intelligent Systems · 1994 · 122 citations

Computing, Computer Science, Formal Methods +7

PREPARE: a tool for knowledge base verification

Du Zhang · IEEE Transactions on Knowledge and Data Engineering · 1994 · 72 citations

Computing, Computer Science, Information Systems +17

From decision tables to expert system shells

Jan Vanthienen, Geert Wets · Data & Knowledge Engineering · 1994 · 56 citations · Full text

Business, Computer Science, Systems Engineering +14