Interactive Theory Revision: An Inductive Logic Programming Approach