Complex Knowledge Base Verification Using Matrices

Nancy A. Botten. Complex Knowledge Base Verification Using Matrices. In Fevzi Belli, Franz Josef Radermacher, editors, Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings. Volume 604 of Lecture Notes in Computer Science, pages 225-235, Springer, 1992.

Abstract

Abstract is missing.