Lazy Rule Refinement by Knowledge-Based Agents | IEEE Conference Publication | IEEE Xplore