An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON (1985)

by R J Brachman, V Pigman Gilbert, H J Levesque
Venue:In Proceedings of the 9th International Joint Conference on Artificial Intelligence