Michael Munie Yoav Shoham Optimal Testing of Structured Knowledge. 1069-1074 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#MunieS08