A Scalable Problem-Solver for Large Knowledge-Bases | IEEE Conference Publication | IEEE Xplore