Nancy A. Botten
-
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A state-based knowledge representation approach for information logical inconsistency detection in warning systems
Knowledge-Based Systems