Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora. Checking an Expert Systems Knowledge Base for Consistency and Completeness. In IJCAI. pages 375-378, 1985.
@inproceedings{NguyenPLP85,
title = {Checking an Expert Systems Knowledge Base for Consistency and Completeness},
author = {Tin A. Nguyen and Walton A. Perkins and Thomas J. Laffey and Deanne Pecora},
year = {1985},
tags = {rule-based, completeness, consistency},
researchr = {https://researchr.org/publication/NguyenPLP85},
cites = {0},
citedby = {0},
pages = {375-378},
booktitle = {IJCAI},
}