Automatic hypothesis formation - Congresses.

Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by: (Language materials, printed)

Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / by: (Language materials, printed)

Mathematical Logic and Formal Languages.

Logic programming

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Automatic hypothesis formation

Data Mining and Knowledge Discovery.

Computer Science.