Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
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 |