Task 5.3

Task 5.3: Learning for reasoners and planners, and reasoners and planners for learning - M1-M36, Task Led by UNIBAS (Malte Helmert): To study foundations, techniques, algorithms and tools for integrating learning into reasoners and planners and vice versa, including, on the one hand, learning how to process the models to facilitate reasoning and planning and how to do learning that will improve the solving of problems, and, on the other hand, adopting reasoners, planners, and symbolic models to drive the learning. Of particular interest is to study foundations and methods for (a) learning procedural control knowledge and reformulation of problem representations to improve problem solving (b) modelling planning problem solving as a learning task.