****************************************
*** We apologise for multiple copies ***
****************************************
Call for Papers
Journal of Machine Learning Research, http://jmlr.csail.mit.edu/
Special Topic on Approaches and Applications of Inductive Programming
Guest Editors: Ute Schmid, http://www.cogsys.wiai.uni-bamberg.de/schmid and Roland Olsson, http://www-ia.hiof.no/~rolando
http://www.cogsys.wiai.uni-bamberg.de/jmlrST/jmlrcfp.html
We invite papers on the inductive synthesis of general programs that contain control structures such as recursion or loops for a special topic of the Journal of Machine Learning Research (JMLR). This topic is also covered in the workshop "Approaches and Applications of Inductive Programming" (http://www.cogsys.wiai.uni-bamberg.de/aaip/index.html) (AAIP) held at the 22nd International Conference on Machine Learning (ICML 2005) in Bonn, Germany, 7-11 August, 2005,
All contributors to AAIP are invited to submit a full paper, but submission is open to everyone.
Inductive synthesis of general programs is a research topic of crucial interest for machine learning and artificial intelligence in general. The ability to generalize a program containing control structures as recursion or loops from examples is a challenging problem which calls for approaches going beyond the requirements of algorithms for concept learning. Pushing research forward in this area can give important insights in the nature and complexity of learning as well as enlarging the field of possible applications.
This special topic is intended to bring together research efforts from different machine learning communities -- such as inductive logic programming, genetic programming, synthesis of functional programs, grammar inference and algorithmic learning theory -- addressing the problem of inductive program synthesis. Furthermore, applications of inductive program synthesis in different domains are of interest.
Topics of interest include:
* New approaches of synthesis of recursive programs with techniques from inductive logic programming, genetic programming, synthesis of functional programs, grammar inference. * Theoretical analyses of learnability of classes of recursive/loop programs. * Applications of inductive synthesis of general programs in the context of software engineering, such as programming support for endusers, novice programmers and routine programming. * Applications of inductive synthesis of general programs for policy learning, language learning, web-mining, data transformation.
Submission procedure:
Follow JMLR's standard submission procedure as described at http://jmlr.csail.mit.edu/author-info.html.
For submission you need to register to the JMLR electronic submission management system: http://jmlr.csail.mit.edu/manudb/.
Please include a note stating that your submission is for the special topic on Approaches and Applications of Inductive Programming.
Important Dates:
* Submission due: July 1st, 2005 * Decision: October 1st, 2005 * Final version due: December 1st, 2005
For further details or enquiries, please contact the guest editors:
Ute Schmid (ute.schmid at wiai.uni-bamberg.de) Roland Olsson (rolando at ia.hiof.no)
-- Prof. Dr. Ute Schmid Dept. of Information Systems and Applied CS Bamberg University http://www.cogsys.wiai.uni-bamberg.de
