Rule validation based on logical deduction
CIKM '93 Proceedings of the second international conference on Information and knowledge management
The design and implementation of K: a high-level knowledge-base programming language of OSAM*.KBMS
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |