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]

Authors

Ping Wu

This author has not been identified. Look up 'Ping Wu' in Google

Stanley Y. W. Su

This author has not been identified. Look up 'Stanley Y. W. Su' in Google