My main area of interest is inductive synthesis of functional programs;
combination with AI planning and analogical reasoning and learning;
relations to acquisition of problem solving strategies in human learning;
application to control rule learning in planning.
[IPAL Homepage]
I did some research in the area of text understanding and spatial
cognition. [see finished
DFG-project]
Human and Machine Learning, Problem Solving and Planning,
and related fields.
Anti-unification as an approach to analogy and induction.
Applications of inductive program synthesis to enduser support
(e.g. learning XSL transformations from examples).
Bachelor/Master/Diploma Students
Topics for Bachelor and Master Theses:
Besides topics in machine learning/AI, I have some topics in
experimental cognitive psychology in the domain of analogical problem
solving. [Short Description of Topics]
Julia Jira (bachelor student, cognitive science,
Osnabrück): Re-Representation Processes in Analogical Reasoning (June
2004)
Sebastian Hoberg (bachelor student, cognitive science,
Osnabrück): Reinforcement Learning for Autonomous Agents in
Multi-Player Games (June 2004)
Elif Aktolga
(bachelor student, cognitive science, Osnabrück): A Java Planner for
Blocksworld Problems (February 2004) [Web-Page]
Moritz Baumann (diploma student, computer science, TU Berlin):
Navigation in merkmalsarmen Umwelten (December 2003) [Web-Page]
Gero Keunecke (bachelor student, cognitive science, Osnabrück):
Status und Größe und ihr Zusammenspiel im
gedächtnisbasierten Vergleich (December 2003)
Sarah Irwin (bachelor student, cognitive science,
Osnabrück): Structural Similarity in Analogical Transfer (December
2003)
[pdf, 39 pages]
Sven-Eric Schelhorn (bachelor student, cognitive science,
Osnabrück): Empirical Evidence for the Use of Derivational Strategies
in Analogical Problem Solving (December 2003) [pdf, 93 pages]
Peter Pollmanns (diploma student, computer science, TU Berlin):
Funktionsanwendung beim zustandsbasierten Planen (Oktober 2003) [Web-Page]
Emanuel Kitzelmann (diploma student, computer science, TU Berlin):
Inductive Functional Programming - a Term-Construction and Folding Approach
(October 2003) [Web-Page]
Jens Waltermann
(diploma student, mathematics, Osnabrück): Automatische Generierung von
rekursiven Programmen aus Beispielen als Anwendung der induktiven
Programmsynthese auf XSL [Web-Page]
(February 2003)
Ulrich Wagner (diploma student, computer science, TU Berlin):
Combinatorically Restricted Higher Order
Anti-Unification -- An Application to Programming by Analogy (April 2002)
[Web-Page]
Jochen
Burghardt, Fraunhofer First, Berlin: Anti-Unification and Analogy
Peter
Gerjets, Institut für Wissensmedien, Tübingen:
Educational implications of derivational and transformational strategies of
analogical problem solving