Toward Inductive Logic Programming for Collaborative Problem Solving | IEEE Conference Publication | IEEE Xplore