Program Wednesday, September 27th

Registration opens at 8:30 (LogistikCampus, Foyer).

9:00 – 9:30 Welcome (Lecture Hall of LogistikCampus)
9:30 – 10:30 Invited Talk: Luc De Raedt
Probabilistic Programming and its Applications
(abstract)
(Lecture Hall of LogistikCampus; Chair: Matthias Thimm)
10:30 – 11:00 Coffee Break
11:00 – 12:30 Technical Session #1: Planning and Search
(Lecture Hall of LogistikCampus; Session Chair: Oliver Kramer)

Stefan Edelkamp. Improving the Cache-Efficiency of Shortest Path Search

Johannes Aldinger and Bernhard Nebel. Interval Based Relaxation Heuristics for Numeric Planning with Action Costs

Gilbert Müller and Ralph Bergmann. Complexity-Aware Generation of Workflows by Process-Oriented Case-Based Reasoning

Lukas Heppe and Thomas Liebig. Real-time Public Transport Delay Prediction for Situation-aware Routing

Ankuj Arora, Humbert Fiorino, Damien Pellier and Sylvie Pesty. Action Model Acquisition using Sequential Pattern Mining

12:30 – 14:00 Lunch Break
14:00 – 15:00 Invited Talk: Wolfgang Wahlster
Artificial Intelligence for Industrie 4.0
(abstract)
(Lecture Hall of LogistikCampus; Chair: Antonio Krüger)
15:00 – 15:30 Technical Session #2: Industrial Session
(Lecture Hall of LogistikCampus; Session Chair: Antonio Krüger)
Guided tour of the Fraunhofer Institute for Material Flow and Logistics (IML); meeting point in front of the LogistikCampus

Bram Aerts, Kylian Van Dessel and Joost Vennekens. Alarm Management on a Liquid Bulk Terminal

Daniel Lückehe, Katharina Schmidt, Karsten Plotz and Gabriele von Voigt. Analysis of Sound Localization Data generated by the Extended Mainzer Kindertisch

Elann Cuisiniez, Jesus Zegarra Flores and Jean-Pierre Radoux. Gesture ToolBox: touchless Human-Machine interface by using deep learning

15:30 – 16:00 Coffee Break
16:00 – 18:00 Sister Conference Session
(Lecture Hall of LogistikCampus; Session Chair: Stefan Edelkamp)

Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo. An Admissible HTN Planning Heuristic

Felix Schmitt, Hans-Joachim Bieg, Michael Herman, Constantin A. Rothkopf. I See What You See: Inferring Sensor and Policy Models of Human Real-World Motor Behavior

Martin Mladenov, Leonard Kleinhans, Kristian Kersting. Lifted Inference for Convex Quadratic Programs

Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran. A General Notion of Equivalence for Abstract Argumentation

Paul Wild, Lutz Schröder. A Characterization Theorem for a Modal Description Logic

18:00 – 19:00

Meeting of 'Fachgruppe KI der GI' (Lecture Hall of LogistikCampus)

Long paper and sister conference presentations (plain font) are 15 + 5 minutes presentations, short paper presentations (italics) are 7 + 3 minutes presentations.