0950-7051

Knowledge Based Systems (KBS) - Volume 12, Issues 1–2 论文列表

本期论文列表
Special issue on verification and validation

Detecting redundancy among production rules using term rewrite semantics

Rule-based systems formalized within a software architectural style

Applications of rule-base coverage measures to expert system evaluation

Coverage: verifying multiple-agent knowledge-based systems

Verifying ontological commitment in knowledge-based systems

An alternative verification and validation technique for an alternative knowledge representation and acquisition technique