Title: Inductive logic programming
Subjects: Logic programming, Congresses, Automatic hypothesis formation