Tammet,Tanel "Using resolution for extending KL-ONE-type languages"
(1995)
(1995)
Proceedings of the fourth international conference on Information and knowledge management December 1995
Languages mentioned
ALC
{1988}
KL-ONE
{1977}