Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Checking query containment with the CQC method
Data & Knowledge Engineering
A semantic validation of conceptual graphs
Knowledge-Based Systems
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems
Verifying integrity constraints on web sites
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |