Title: Interactive theory revision
Subjects: Logic programming, Machine learning