As knowledge-based system technology gains wider acceptance, there is an increasing need for verifying knowledge-based systems to improve the reliability and quality. Traditionally, attention has been given on verifying knowledge-based systems at the know
關聯:
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
