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

by PIGMAN GILBERT, Victoria, Hector LEVESQUE
Venue:In Proceedlngs of IJCAI-85, Los Angclw CA