Checking an Expert Systems Knowledge Base for Consistency and Completeness.

Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora

Browse the full IJCAI paper archive.