Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5170464 | Method for rolling back an expert system | Raymond Hayes | 1992-12-08 |
| 5167012 | Method for performing consistency checks | Raymond Hayes | 1992-11-24 |
| 5140671 | Expert system debugger | Raymond Hayes | 1992-08-18 |