Rule Validation Based on Logical Deduction.
| Anthology ID: | DBLP:conf/cikm/WuS93 |
|---|---|
| Volume: | CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993 |
| Year: | 1993 |
| Venue: | International Conference on Information and Knowledge Management (CIKM) |
| Publisher: | ACM |
| Pages: | 164-173 |
| URL: | https://doi.org/10.1145/170088.170123 |
| DOI: | https://doi.org/10.1145/170088.170123 |
| DBLP: | conf/cikm/WuS93 |
| BibTeX: |
@inproceedings{wu-1993-rule,
author = {Ping Wu and
Stanley Y. W. Su},
editor = {Bharat K. Bhargava and
Tim Finin and
Yelena Yesha},
title = {{Rule Validation Based on Logical Deduction}},
booktitle = {{CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993}},
pages = {164--173},
publisher = {ACM},
year = {1993},
url = {https://doi.org/10.1145/170088.170123},
doi = {https://doi.org/10.1145/170088.170123}
}