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.
@inproceedings{Botten92, title = {Complex Knowledge Base Verification Using Matrices}, author = {Nancy A. Botten}, year = {1992}, tags = {rule-based}, researchr = {https://researchr.org/publication/Botten92}, cites = {0}, citedby = {0}, pages = {225-235}, booktitle = {Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings}, editor = {Fevzi Belli and Franz Josef Radermacher}, volume = {604}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55601-X}, }