Workshop on

Approaches and Applications of Inductive Programming (AAIP)

to be held on August 7th 2005 in conjunction with the 22nd International Conference on Machine Learning (ICML 2005) in Bonn, Germany. Organized by
Emanuel Kitzelmann, Roland Olsson, Ute Schmid.



First Block Inductive Functional Synthesis (Chair: Ute Schmid)
9:00 Welcome to the Workshop
9:10 Invited Talk by Fritz Wysotzki: Development of Inductive Synthesis of Functional Programs
9:55 Full Paper by Emanuel Kitzelmann and Ute Schmid: An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
10:25 - 11:00 Coffee Break
Second Block Different Approaches (Chair Roland Olsson)
11:00 Invited Talk by Marcus Hutter: Theoretically Optimal Program Induction and Universal AI
11:45 Full Paper by Oleg Monakhov and Emilia Monakhova: Synthesis of Scientific Algorithms based on Evolutionary Computation and Templates
12:15 Work in Progress Report by Ramiro Aguilar, Luis Alonso, Vivian López, and María N. Moreno: Incremental discovery of sequential patterns for grammatical inference
12:35 - 14:30 Lunch Break
Third Block ILP (Chair: Emanuel Kitzelmann/Ute Schmid)
14:30 Invited Talk by Stephen Muggleton: Learning the Time Complexity of Logic Programs
15:15 Full Paper by M. R. K. Krishna Rao: Learning Recursive Prolog Programs with Local Variables from Examples
15:45 Full Paper by A. Passerini, P. Frasconi, and L. De Raedt: Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting
16:15 - 16:45 Coffee Break
Fourth Block Discussion (Chair Roland Olsson)
16:45 Open Problems in Inductive Program Synthesis

End: 18:00

Please send technical remarks to the Webmaster, emanuel.kitzelmann(at)

Last modified: Thu Jul 28 14:32:39 2005