Tanel Tammet

1995

doi dblp
Using Resolution for Extending KL-ONE-type Languages.
Tanel Tammet
CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA