@inproceedings{OptimalAAAI, title={Optimal Testing of Structured Knowledge }, author={M. Munie and Y. Shoham}, booktitle={Proceedings of AAAI-08}, year={2008}, }