News
End of project
The project expired with end of September 2010. The development of the Haskell Igor2 version was ceased.
Igor2 version 0.8.0 uploaded
The latest Igor2 version 0.8.0 for Haskell is online as Cabal package and Win32 binary.
AAIP09 Post-Proceedings at Springer
The AAIP Workshop Post-Proceedings have been published as Springer Lecture Notes in Computer Science (LNCS) volume 5812 (LNCS)
PEPM@POPL 2010
Two appers have been accepted for oral presentation at the PEPM workshop on the POPL conference 2010 in Madrid.
Article in HCAR 08
An article about IgorII appeared in the fifteenth edition of the "Haskell Communities and Activities Report"
Visiting Researcher O. Monakhov
Oleg Monakhov from the Russian Academy of Sciences, Siberian Branch is visiting our group from 19th of Sept. to 21st of Nov. 2009, funded by DAAD.
Visiting Researcher S. Katayama
Susumu Katayama from Miyzaki University Japan is visiting from 7th to 10th September. He was the host of Martin Hofmann who spent a two month research visit at his department in summer 2009, funded by the Japan Society for the Promotion of Science.
Igor2 in Haskell
A first Haskell version of IgorII is available as cabal package in the Download section
JSPS Fellowship granted
A research fellowship of the Japan Society for the Promotion of Science has been granted to Martin Hofmann. He will spent two month as a visiting researcher in the department of Susumu Katayama at the University of Miyazaki in Japan in summer 2009.
Ray Kurzweil Prize
The Best Paper Prize at AGI09 has been awarded to N. Crossley, E. Kitzelmann, M. Hofmann, and U. Schmid for their paper Combining Analytical and Evolutionary Inductive Programming.
AAIP'09
Our group, together with Rinus Plasmeijer, is organising the next workshop on Approaches and Applications of Inductive Programming 2009 (AAIP'09).
Article in HCAR 08
An article about IgorII appeared in the fifteenth edition of the "Haskell Communities and Activities Report"
Major Overhaul
The page has been updated, especially the Download and the Members section. New section Activities added.
New example data
New example data for various IP systems (as used in AGI-09 paper submission) is now available in the download section.
Publications updated
The list of publications has been updated
Homepage online
This site is now online as official project homepage.
Publications
Publications 2010
-
Hofmann,
Martin: Data-Driven
Detection of Catamorphisms --- Towards Problem
Specific Use of Program Schemes for Inductive
Program Synthesis.
In: Hage, Juriaan (Hrsg.) : Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)
(22nd Symposium on Implementation and Application of Functional Languages (IFL 2010), Alphen aan den Rijn, 1. - 3. Sept. 2010).
Utrecht : Technical Report, Department of Information and Computing Sciences, Utrecht University, 2010, S. 25-39. -
Kitzelmann,
Emanuel:A
Combined Analytical and Search-Based Approach to
the Inductive Synthesis of Functional
Programs.
Bamberg : ., 2010 (Dissertationsschrift, Fakultät Wirtschaftsinformatik und Angewandte Informatik, Juli 2010) - 209 Seiten. -
Hofmann, Martin>: Data-Driven Detection of Catamorphisms.
In: Page, Rex ; Zsok, Viktoria ; Horvath, Zoltan (Hrsg.) : Proceedings of the Eleventh Symposium on Trends in Functional Programming
(Eleventh Symposium on Trends in Functional Programming, Norman, Oklahoma, USA, 17.-19.Mai 2010).
Norman, Oklahoma, USA : University of Oklahoma Printing Services, 2010, S. 62-76. - Hofmann, Martin; Schmid, Ute:Data-Driven Detection of Recursive Program Schemes.
In: Coelho, Helder ; Studer, Rudi ; Wooldridge, Michael (Hrsg.) : Proceedings of the 19th European Conference on Artificial Intelligence
(19th European Conference on Artificial Intelligence, Lissabon, 16. - 20. August).
Amsterdam : IOS Press, 2010, S. 1063-1064. (Frontiers in Artificial Intelligence and Applications Bd. 215) - Hofmann, Martin; Kitzelmann, Emanuel: I/O Guided Detection of List Catamorphisms - Towards Problem Specific Use of Program Templates in IP.
In: Gallagher, John ; Voigtländer, Janis (Hrsg.) : Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
(37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Madrid, 18.01.2010 - 22.01.2010). New York : ACM SIGPLAN, 2010, S. 93-100. - ISBN 978-1-60558-727-1 - Hofmann, Martin:
IgorII - an Analytical Inductive Functional Programming System (Tool Demo).
In: Gallagher, John ; Voigtländer, Janis (Hrsg.) : Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulatiob
(37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Madrid, 18.01.2010 - 22.01.2010). New York : ACM SIGPLAN, 2010, S. 29-32. - ISBN 978-1-60558-727-1
Publications 2009
- Schmid, Ute; Kitzelmann, Emanuel; Plasmeijer,
Rinus (Hrsg.): Proceedings
of the 3rd Workshop on Approaches and Applications
of Inductive Programming (AAIP'09).
(in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) Edinburgh, Scottland September 4, 2009) 2009. - 120 Seiten - Kitzelmann, Emanuel: Inductive
Programming --- A surveay of Program Synthesis
Techniques. In: Schmid,
Ute ; Kitzelmann,
Emanuel ; Plasmeijer, Rinus (Hrsg.) :
Proceedings of the ACM SIGPLAN Workshop on
Approaches and Applications of Inductive
Programming
(Workshop on Approaches and Applications of Inductive Programming (AAIP 2009) Edinburgh, Scotland September 4, 2009). 2009, S. 17-28. (Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik Bd. 81) - Hofmann, Martin; Hieber, Thomas:Automated
Method Induction -- Functional Goes Object
Oriented. In: Schmid,
Ute ; Kitzelmann,
Emanuel ; Plasmeijer, Rinus (Hrsg.) :
Proceedings of the ACM SIGPLAN Workshop on
Approaches and Applications of Inductive
Programming
(Workshop on Approaches and Applications of Inductive Programming (AAIP 2009) Edinburgh, Scotland September 4, 2009). 2009, S. 75-83. (Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik Bd. 81) - Hofmann, Martin; Kitzelmann, Emanuel; Schmid,
Ute: Porting
IgorII from MAUDE to HASKELL --- Introducing a
System's Design. In: Schmid,
Ute ; Kitzelmann,
Emanuel ; Plasmeijer, Rinus (Hrsg.) :
Proceedings of the ACM SIGPLAN Workshop on
Approaches and Applications of Inductive
Programming
(Workshop on Approaches and Applications of Inductive Programming (AAIP 2009) Edinburgh, Scotland September 4, 2009). 2009, S. 65-74. (Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik Bd. 81) - Schmid, Ute; Hofmann, Martin; Kitzelmann,
Emanuel: Inductive
Programming - Example-driven Construction of
Functional Programs.
In: KI (2009), Nr. 2, S. 38-41 - Hofmann, Martin; Kitzelmann, Emanuel; Schmid,
Ute: A
unifying framework for analysis and evaluation of
inductive programming systems. In: Hitzler,
Pascal ; Hutter, Marcus (Hrsg.) :
Proceedings of the Second Conference on
Artificial General Intelligence
(Second Conference on Artificial General Intelligence (AGI-09) Arlington, Virginia March 6-9 2009)., 2009. - Schmid, Ute; Hofmann, Martin; Kitzelmann,
Emanuel: Analytical
Inductive Programming as a Cognitive Rule
Acquisition Devise. In: Hitzler, Pascal ;
Hutter, Marcus (Hrsg.) : Proceedings of
the Second Conference on Artificial General
Intelligence
(Second Conference on Artificial General Intelligence (AGI-09) Arlington, Virginia March 6-9 2009)., 2009. - Crossley, Neil; Kitzelmann, Emanue ; Hofmann,
Martin Schmid, Ute: Combining
Analytical and Evolutionary Inductive
Programming. In: Hitzler, Pascal ;
Hutter, Marcus (Hrsg.) : Proceedings
of the Second Conference on Artificial General
Intelligence
(Second Conference on Artificial General Intelligence (AGI-09) Arlington, Virginia March 6-9 2009)., 2009.
Publications 2008
- Hofmann, Martin; Kitzelmann, Emanuel; Schmid, Ute: Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. In: Dengel, A. ; Berns, K. ; Breuel, T. M. ; Bomarius, F. ; Roth-Berghofer, T. R. (Hrsg.) : KI 2008: Advances in Artificial Intelligence (31th Annual German Conference on AI (KI 2008) Kaiserslauten September 2008). Berlin : Springer, 2008, p. 78-86. (LNAI vol. 5243)
- Kitzelmann, Emanuel: Analytical Inductive Functional Programming. In: Hanus, Michael (Hrsg.) : Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008) (18th International Symposium on Logic-Based Program Synthesis and Transformation Valencia, Spain July, 2008). 2008, p. 166-180.
- Kitzelmann, Emanuel: Data-Driven Induction of Functional Programs. In: Ghallab, Malik ; Spyropoulos, Constantine D. ; Fakotakis, Nikos ; Avouris, Nikos (Hrsg.) : ECAI 2008, 18th European Conference on Artificial Intelligence, Proceedings (18th European Conference on Artificial Intelligence Patras, Greece July, 2008). Amsterdam, Netherlands : IOS Press, 2008, p. 781-782. (Frontiers in Artificial Intelligence and Applications vol. 178)
- Kitzelmann, Emanuel; Hofmann, Martin: IGOR2: An Inductive Functional Programming Prototype. In: Ghallab, Malik ; Spyropoulos, Constantine D. ; Fakotakis, Nikos ; Avouris, Nikos (Hrsg.) : Proceedings of the System Demonstrations of the 18th European Conference on Artificial Intelligence (18th European Conference on Artificial Intelligence Patras, Greece July, 2008). 2008, p. 29-30. - ISBN 978-960-6843-17-4
- Hieber, Thomas; Hofmann, Martin ; Kitzelmann, Emanuel; Schmid, Ute: Programming Recursive Functions By Examples (Abstract). In: Urbas, Leon ; Goschke, T. ; Velichkovsky, B. (Hrsg.) : Proceedings der 9. Jahrestagung der Gesellschaft für Kognitionswissenschaft (KogWis 2008 TU Dresden 28.9.-1.10. 2008). Dresden : ., 2008, p. 81. - ISBN 978-3-939025-14-6
Publications 2007
- Kitzelmann, Emanuel; Schmid, Ute (Hrsg.): Proceedings of the Workshop on Approaches and Applications of Inductive Programming (AAIP'07).(18th European Conference on Machine Learning Warsaw 17.09.2007) 2007. - 51 pages.
- Kitzelmann, Emanuel: Data-driven induction of recursive functions from input/output-examples. In: Kitzelmann, Emanuel; Schmid, Ute (Hrsg.) : Proceedings of the Workshop on Approaches and Applications of Inductive Progamming (AAIP'07) (ECML'07 Warsaw 17.09.2007). 2007, p. 15-26.
- Kitzelmann, Emanuel: Data-driven learning of functions over algebraic datatypes from input/output examples.In: Geibel, P. ; Jain, B.J. (Hrsg.) : KI 2007 Workshop on Learning from Non-Vectorial Data (KI 2007 Osnabrück 10.09.2007). 2007, p. 36-45.
- Kitzelmann, Emanuel ; Schmid, Ute: Inducing Constructor Systems from Example Terms by Detecting Syntactical Regularities .In: Electronic Notes in Theoretical Computer Science 174 (2007), Nr. 1, S. 49-63
- Hofmann, Martin ; Hirschberger, Andreas ; Kitzelmann, Emanuel ; Schmid, Ute : Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems. In: Hertzberg, J. ; Beetz, M. ; Englert, R. (Hrsg.) : KI 2007: Advances in Artificial Intelligence (30th Annual German Conference on AI, KI 2007 Osnabrück September 2007). Bd. LNAI 4667. Heidelberg : Springer, 2007, p. 468-472.
- Hofmann, Martin: Automated Construction of XSL-Templates: An Inductive Programming Approach. Saarbrücken : VDM, 2008. - 124 pages. ISBN 978-3-639-00194-5