Interactive Theory Revision: An Inductive Logic Programming Approach

Open in new window