AAIP 2005
|
Workshop on
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.
|
|
|
Program
[PDF]
|
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)wiai.uni-bamberg.de
Last modified: Thu Jul 28 14:32:39 2005
|