0167-9236

Decision Support Systems (DSS) - Volume 21, Issue 4 论文列表

本期论文列表
Editorial

Classifying and detecting anomalies in hybrid knowledge-based systems

Verification of non-monotonic knowledge bases

Inference engine greediness: subsumption and suboptimality

Applying rule-base anomalies to KADS inference structures

Using goals to design and verify rule bases

A survey of tools for the validation and verification of knowledge-based systems: 1985–1995