Implementing a knowledge-based library information system with typed horn logic.
Hassan Aït-Kaci|Roger Nasr|Jungyun Seo
| Anthology ID: | DBLP:journals/ipm/Ait-KaciNS90 |
|---|---|
| Year: | 1990 |
| Venue: | Information Processing and Management |
| Pages: | 249-268 |
| URL: | https://doi.org/10.1016/0306-4573(90)90029-2 |
| DOI: | https://doi.org/10.1016/0306-4573(90)90029-2 |
| DBLP: | journals/ipm/Ait-KaciNS90 |
| BibTeX: |
@article{aitkaci-1990-implementing,
author = {Hassan A\"{i}t-Kaci and
Roger Nasr and
Jungyun Seo},
title = {{Implementing a knowledge-based library information system with typed horn logic}},
journal = {Information Processing and Management},
volume = {26},
number = {2},
pages = {249--268},
year = {1990},
url = {https://doi.org/10.1016/0306-4573(90)90029-2},
doi = {https://doi.org/10.1016/0306-4573(90)90029-2}
}