Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A semantic validation of conceptual graphs
Knowledge-Based Systems
Verification of knowledge bases based on containment checking
Artificial Intelligence
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Verification of knowledge bases based on containment checking
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |