Using Resolution for Extending KL-ONE-type Languages.
| Anthology ID: | DBLP:conf/cikm/Tammet95 |
|---|---|
| Volume: | CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA |
| Year: | 1995 |
| Venue: | International Conference on Information and Knowledge Management (CIKM) |
| Publisher: | ACM |
| Pages: | 326-332 |
| URL: | https://doi.org/10.1145/221270.221605 |
| DOI: | https://doi.org/10.1145/221270.221605 |
| DBLP: | conf/cikm/Tammet95 |
| BibTeX: |
@inproceedings{tammet-1995-using,
author = {Tanel Tammet},
editor = {Niki Pissinou and
Avi Silberschatz and
E. K. Park and
Kia Makki},
title = {{Using Resolution for Extending KL-ONE-type Languages}},
booktitle = {{CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA}},
pages = {326--332},
publisher = {ACM},
year = {1995},
url = {https://doi.org/10.1145/221270.221605},
doi = {https://doi.org/10.1145/221270.221605}
}