The relation-based knowledge representation of King Kong
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Deduction as parsing: tractable classification in the KL-ONE framework
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |