0957-4174

Expert Systems with Applications (ESWA) - Volume 8, Issue 3 论文列表

本期论文列表
Preface

VALID: An environment for validation of KBS

Validation and verification of KADS data and domain knowledge

Refinement in response to validation

On the verification of modular logical knowledge bases

Coupling modeling and validation in COMMET

Consistency of structured knowledge: A formal framework based on description logics

Knowledge-based systems verification: A machine learning-based approach

Knowledge validation in the building of a knowledge-based system

NTIS section

Editorial: Software survey section