References

Expert system verification and validation: A survey and tutorial

10.1007/bf00849196 · 1993 · External reference

TIBRE: Un Système Expert Qui Teste Les Incoherences Dans les Bases de Règles

1988 · External reference

Modeling in the Design of a KBS Validation System

10.1002/int.4550060706 · 1991 · External reference

Detecting of consistency and completeness in expert systems using numerical Petri nets

1988 · External reference

Foundation and application of knowledge base verification

10.1002/int.4550090804 · 1994 · External reference

A tabular rule checking method

1987 · External reference

HANDIPAK: Computeradviessysteem m.b.t. de financiële tegemoetkomingen aan gehandicapten

1988 · External reference

A modelling approach to KBS verification

1995 · External reference

Inter-tabular verification in an interactive environment

1997 · External reference

Developments in decision tables: Evolution, applications and a proposed standard

1992 · External reference

Illustration of a decision table tool for specifying and implementing knowledge based systems

10.1142/s0218213094000133 · 1994 · External reference

From decision tables to expert system shells

10.1016/0169-023x(94)00020-4 · 1994 · External reference

Incorporating fuzziness in the classical decision table formalism

10.1002/(sici)1098-111x(199611)11:11<879::aid-int2>3.0.co;2-w · 1996 · External reference

Knowledge acquisition and validation using a decision table engineering workbench

1991 · External reference

On the decomposition of tabular knowledge systems

1996 · External reference

A tool for knowledge base verification

10.1109/69.334887 · 1994 · External reference

A framework for verification, validation and refinement of knowledge bases: The VVR system

10.1002/int.4550090805 · 1994 · External reference