Scott, A. Carlisle

• AI Magazine Vol. 3 No. 4: Winter 1982 - Articles
  An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System
  Abstract  PDF