Rule Validation Based on Logical Deduction

Ping Wu, Stanley Y. W. Su. Rule Validation Based on Logical Deduction. In Bharat K. Bhargava, Timothy W. Finin, Yelena Yesha, editors, CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993. pages 164-173, ACM, 1993. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.