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