T.-K. Ma
University of Washington
1 Papers
3 Citations
T.-K. Ma is an academic researcher from University of Washington. The author has contributed to research in topics: Rule-based system & Redundancy (engineering). The author has an hindex of 1, co-authored 1 publications.
Chat about Author
Papers
A relation-checking algorithm for maintenance of rule-based systems
TL;DR: An algorithm to detect relations that may exist between a pair of rules, including cause-effect, mutual exclusion, redundancy, conflict, subsumption, implication and unnecessary condition, is presented.
3