Oberseminar Program, 10-13 May, 2013
Friday, May 10, 2013 | ||
Session 1, Chair: Malte Helmert | ||
Time | Speaker | Title |
9:00-9:30 | Patrick Eyerich, UF | Stronger Abstraction Heuristics Through Perimeter Search |
9:30-10:00 | Florian Pommerening, UB | Incremental LM-cut |
10:00-10:30 | Vittorio Amos Ziparo, ASrl | ROVINA |
10:30-11:00 | Coffee Break | |
Session 2, Chair: Esra Erdem | ||
Time | Speaker | Title |
11:00-11:30 | Farhad Arbab, CWI & LU | Protocols as Tangible Artifacts |
11:30-12:00 | Gabriele Röger, UB | Getting the Most Out of Pattern Databases for Classical Planning |
12:00-11:30 | Eirini Kaldeli, UG | Domain-Independent Planning at the service of Services Applications in Uncertain and Dynamic Domains |
Saturday, May 11, 2013 | ||
Session 1, Chair: Bernard Nebel | ||
Time | Speaker | Title |
9:00-9:30 | Thomas Keller, UF | Trial-based Heuristic Tree Search |
9:30-10:00 | Jendrik Seipp, UB | Counterexample-guided Abstraction Refinement for Classical Planning |
10:00-10:30 | Peter Schüller, SU | A Systematic Analysis of Levels of Integration between Low-Level Reasoning and Task Planning |
10:30-11:00 | Coffee Break | |
Session 2, Chair: Daniele Nardi | ||
Time | Speaker | Title |
11:00-11:20 | Andrea Pagani, UG | Modeling the Last Mile of the Smart Grid |
11:20-11:40 | Tuan Anh Nguyen, UG | Towards Context Consistency in a Rule-Based Activity Recognition Architecture |
11:40-12:00 | Faris Nizamic, UG | Automated Deployment of Virtualized Services based on Functional, Performance and Data Aspects |
12:00-12:20 | Ando Emerencia, UG | Applying Artificial Intelligence in Schizophrenia Management |
Session 3, Chair: Vittorio Amos Ziparo | ||
Time | Speaker | Title |
14:00-14:30 | Johannes Löhr, UF | Domain Predictive Control Under Uncertain Numerical State Information |
14:30-15:00 | Martin Wehrle, UB | The Relative Pruning Power of Strong Stubborn Sets and Expansion Core |
15:00-15:30 | Zeynep G. Saribatur, SU | Finding Optimal Plans for Multiple Teams of Robots through a Mediator |
15:30-16:00 | Christian Dornhege, UF | Integrated Task and Motion Planning on Partially Grounded Domains |
Saturday, May 11, 2013 | |
Poster Session (12:30-14:00 and 16:00-17:00) | |
Speaker | Title |
Silvan Sievers, UB | Efficient Implementation of Pattern Database Heuristics for Classical Planning |
Viktoriya Degeler, UG | Probabilistic Rule-Based Activity Recognition |
Luca Iocchi, UR | Variable Zoom Camera Calibration for Virtual Advertising |
Ilche Georgievski, UG | Planning for Coordination of Devices in Energy-Smart Environments |
Domenico Bloisi, UR | Human-Robot Collaboration for Semantic Labeling of the Environment |
Monday, May 13, 2013 | ||
Session 1, Chair: Alexander Lazovik | ||
Time | Speaker | Title |
9:00-9:30 | Andreas Herlte, UF | Integrated Symbolic Planning in the Tidyup-Robot Project |
9:30-10:00 | Frank Hutter, UF | Learning and Optimization of Empirical Algorithm Performance |
10:00-10:30 | Julien Hué, UF | Revising Qualitative Constraint Network |
10:30-11:00 | Coffee Break | |
Session 2, Chair: Ilche Georgievski | ||
Time | Speaker | Title |
11:00-11:30 | Taigo Maria Bonanni, UR | Towards SLAM Unification |
11:30-12:00 | Heerko Groefsema, UG | Business Process Verification – a Survey |
12:00-12:30 | Emanuele Bastianelli, UR | Structured Kernel-based learning for Spatial Role Labeling |
Session 3, Chair: Doina Bucur | ||
Time | Speaker | Title |
13:30-14:00 | Fabio Previtali, UR | PTracking: a distributed opensource library that exploits a clustering technique to tracks multiple objects |
14:00-14:30 | Guglielmo Gemignani, UR | Disambiguating Localization Symmetry Exploiting a Multi-Clustered Particle Filtering |