Knowledge-Based Systems

Special issue on verification and validation
pp. 1-2(2)
Authors: Plant R.; Antoniou G.

Detecting redundancy among production rules using term rewrite semantics
pp. 3-11(9)
Authors: Schmolze J.G.; Snyder W.

Rule-based systems formalized within a software architectural style
pp. 13-26(14)
Authors: Gamble R.F.; Stiger P.R.; Plant R.T.

Applications of rule-base coverage measures to expert system evaluation
pp. 27-35(9)
Author: Barr V.

Coverage: verifying multiple-agent knowledge-based systems
pp. 37-44(8)
Author: Preece A.

Verifying ontological commitment in knowledge-based systems
pp. 45-54(10)
Authors: Waterson A.; Preece A.

An alternative verification and validation technique for an alternative knowledge representation and acquisition technique
pp. 55-73(19)
Authors: Richards D.; Compton P.