Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5592590 | Method for efficiently detecting covered rules in a knowledge base | — | 1997-01-07 |
| 5272704 | Method and apparatus for generation of multi-branched diagnostic trees | David W. Tong, Kevin C. Zalondek | 1993-12-21 |
| 5150367 | Composite range constraint propagation control | David W. Tong, Kevin C. Zalondek | 1992-09-22 |