Abstract
No public abstract is available from the verified source records.
Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureJan Vanthienen, Christophe Mues, A.T.M. Aerts
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Expert system verification and validation: A survey and tutorial
10.1007/bf00849196 · 1993
TIBRE: Un Système Expert Qui Teste Les Incoherences Dans les Bases de Règles
1988
Modeling in the Design of a KBS Validation System
10.1002/int.4550060706 · 1991
Detecting of consistency and completeness in expert systems using numerical Petri nets
1988
Foundation and application of knowledge base verification
10.1002/int.4550090804 · 1994
A tabular rule checking method
1987
HANDIPAK: Computeradviessysteem m.b.t. de financiële tegemoetkomingen aan gehandicapten
1988
A modelling approach to KBS verification
1995
Inter-tabular verification in an interactive environment
1997
Developments in decision tables: Evolution, applications and a proposed standard
1992
Illustration of a decision table tool for specifying and implementing knowledge based systems
10.1142/s0218213094000133 · 1994
From decision tables to expert system shells
10.1016/0169-023x(94)00020-4 · 1994
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
Knowledge acquisition and validation using a decision table engineering workbench
1991
On the decomposition of tabular knowledge systems
1996
A tool for knowledge base verification
10.1109/69.334887 · 1994
A framework for verification, validation and refinement of knowledge bases: The VVR system
10.1002/int.4550090805 · 1994
No additional external references are available.