An essential hybrid reasoning system; knowledge and symbol level accounts of KRYPTON (1985)

by R Brachman, R Fikes, H Levesque
Venue:In: International Joint Conference on Artificial Intelligence (IJCAI-85