KI18 18:00 Neural Networks Starts at 15:45H Learning

41TH GERMAN CONFERENCE ON ARTIFICIAL INTELLIGENCE

SEPTEMBER 24-28TH | 2018 | BERLIN | GERMANY KI2018.DAI-LABOR.DE

INVITED SPEAKERS Dietmar Jannach (Alpen-Adria Universität Klagenfurt), Catrin Misselhorn (Universität Stuttgart), Sami Haddadin (TU München) GENERAL CHAIR Sahin Albayrak (TU Berlin) PROGRAM CHAIRS Anni-Yasmin Turhan (TU Dresden), Frank Trollmann (TU Berlin) WORKSHOP CHAIR Özgür L. Özçep (Universität zu Lübeck) DC CHAIR Johannes Fähndrich (TU Berlin) LOCAL CHAIRS Sebastian Ahrndt (Curamatik), Elif Eryilmaz (TU Berlin) PROGRAM SCHEDULE OVERVIEW

Monday Tuesday Wednesday Thursday Friday

Joint Session with Opening & Greeting INFORMATIK18 Opening 09:00 - Keynote Keynote Catrin Keynote 10:30 Dietmar Jannach Misselhorn Sami Haddadin (Spreepalais)

Coffee Poster Session 2 Workshops Workshops Session 1 Session 3 Session 6 11:00 - PuK Multi-Agent Probabilistic Best Paper 12:30 Emotion and Computing DKB + KIK WDPAR Systems Models Session Tutorials HiDest 18 Lunch StarAI Real-time Recommendati- Doctoral Consortium Session 2 Session 4 14:00 - Session 7 ons with Streamed Data Context-Aware Cognition and 15:30 Planning Systems Reasoning

Coffee Poster Session 1 Poster Session 3

FBKI Members Session 8 & 16:00 - Session 5 Meeting Closing of KI18 18:00 Neural Networks starts at 15:45h Learning

Eve- Reception at Conference Dinner ning Spreepalais at Fernsehturm

2 PROGRAM / SCHEDULE OVERVIEW

PROGRAM SCHEDULE OVERVIEW

Monday Tuesday Wednesday Thursday Friday

Joint Session with Opening & Greeting INFORMATIK18 Opening 09:00 - Keynote Keynote Catrin Keynote 10:30 Dietmar Jannach Misselhorn Sami Haddadin (Spreepalais)

Coffee Poster Session 1 Poster Session 3

FBKI Members Session 8 & 16:00 - Session 5 Meeting Closing of KI18 18:00 Neural Networks starts at 15:45h Learning

Eve- Reception at Conference Dinner ning Spreepalais at Fernsehturm

3 PROGRAM / MONDAY, SEPTEMBER 24TH

MONDAY, SEPTEMBER 24TH

Auditorium 1 Auditorium 2 TEL 1414

09:00 - Tutorial 10:30 Real-time Re- Workshop Coffee commenations Emotion and 11:00 - with Streamed Computing 12:30 Data Workshop Lunch PuK 2018 14:00 - 15:30 Tutorial Coffee StarAI 16:00 - 18:00

Tutorials -- Real-time Recommendations with Streamed Data

-- StarAI: Statistical Relational AI

Workshops -- PuK 2018: 31. Workshop Planen / Scheduling und Konfigurieren / Entwerfen -- 8th Workshop: Emotion and Computing – Current Research and Future Impact

-- DKB + KIK: Formal and Cognitive Reasoning

4 PROGRAM / TUESDAY, SEPTEMBER 25TH

TUESDAY, SEPTEMBER 25TH

Auditorium 1 Auditorium 2 TEL 1414 TEL 1315 09:00 - 10:30 Doctoral Coffee Consortium 11:00 - 12:30 Workshop Workshop Lunch DKP + KIK WDPAR 14:00 - Workshop 15:30 HiDeST 18 Coffee 16:00 - 18:00

-- WDPAR: Web Data Processing and Reasoning

-- HiDeST 18: 2nd Workshop on High-Level Declarative Stream Processing

Doctoral Consortium -- Christian Rakow: Multi-agent reinforcement learning for planning and decision-making in the vehicle-routing domain -- Aleksandra Revina: Assessing Process Suitability for AI-based Automation, Research Idea and Design -- Michael Barry: Mathematical Solver Tuning -- Muhammad Fayaz: Smart Prison: A Testbed for Experimenting Internet of Things Application

5 PROGRAM / WEDNESDAY, SEPTEMBER 26TH

WEDNESDAY, SEPTEMBER 26TH

09:00 – 10:30 Keynote Dietmar Jannach --Title: Session-based Recommendation: Challenges and Recent Advances 10:30 – 11:00 Coffee Break 11:00 – 12:30 Session 1: Multi-Agent Systems --Martin Aleksandrov and Toby Walsh: Group Envy Freeness and Group Pareto Efficiency in Fair Divi- sion with Indivisible Items (full paper) --Stefan Lüdtke, Max Schröder and Thomas Kirste: Approximate Probabilistic Parallel Multiset Rewri- ting using MCMC; Stefan Lüdtke (full paper) --Andreas Hertle and Bernhard Nebel: Efficient Aucti- on Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction (full paper) 12:30 – 14:00 Lunch 14:00 – 15:30 Session 2: Context-Aware Systems --Peer Neubert, Subutai Ahmad and Peter Protzel: A Sequence-Based Neuronal Model for Mobile Robot Localization (full paper) --Özgür Lütfü Özcep: Bounded-Memory Stream Processing (full paper) --Poster Session Pitches 15:30– 15:45 Coffee Break 15:45 – 17:00 FBKI General Assembly 18:00 – 21:00 Evening Reception The personal exchange and networking in a

6 PROGRAM / THURSDAY, SEPTEMBER 27TH

pleasant atmosphere after the first day of the KI2018 is the focus of the evening reception. The evening reception is a joint event together with #INFORMATIK2018 and takes place in the city center near Alexanderplatz/Hackescher Markt. During this event, the GI Junior Fellows and Fellows 2018 will be appointed and the Tschira Medal and the GI Dissertation Prize will be awarded. The reception is accompanied by good food and live music.

THURSDAY, SEPTEMBER 27TH

09:00 – 10:30 Keynote Catrin Misselhorn --Title: Machine Ethics and Artificial Morality --This is a joint keynote with INFORMATIK 2018. It will be held at the Spreepalais. 10:30 – 11:30 (Reserved for Travel to TU Berlin) 11:30 – 12:30 Session 3: Probabilistic Models --Christoph Raab and Frank-Michael Schleif: Sparse Transfer Classification for Text Documents (full paper) --Tanya Braun and Ralf Möller: Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm (full paper) 12:30 – 14:00 Lunch 14:00 – 15:30 Session 4: Cognition & Reasoning --Ilir Kola and Marco Ragni: Predict the Individual Rea- soner: A New Approach (full paper)

7 PROGRAM / THURSDAY, SEPTEMBER 27TH

--Gavin Rens, Abhaya Nayak, Thomas Meyer and Gab- riele Kern-Isberner: Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence (full paper) --Ingo J. Timm, Steffen Staab, Michael Siebers, Clau- dia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabrie- le Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt and Christoph Beierle: Intentio- nal Forgetting in Artificial Intelligence Systems: Perspectives and Challenges (short paper) 15:30– 16:00 Coffee Break & Poster Session 1 --Marcel Gehrke, Tanya Braun and Ralf Möller: Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm --Francesco Kriegel: Acquisition of Terminological Knowledge in Probabilistic Description Logic --Lisset Salinas Pinacho, Alexander Wich, Fereshta Yazdani and Michael Beetz: Acquiring knowledge of object arrangements from human examples for household robots 16:00 – 18:00 Session 5: Neural Networks --Daniel Lückehe, Sonja Veith and Gabriele von Voigt: Evolutionary Structure Minimization of Deep Neu- ral Networks for Motion Sensor Data (full paper) --Stefan Oehmcke and Oliver Kramer: Knowledge Sharing For Population Based Neural Network Training (full paper) --Jonas Prellberg and Oliver Kramer: Limited Evalua-

8 PROGRAM / FRIDAY, SEPTEMBER 28TH

tion Evolutionary Optimization of Large Neural Networks (full paper) --Mihai Pomarlan and John Bateman: Understanding NLP Neural Networks by the Texts They Generate (full paper) 19:00 Conference Dinner The conference dinner will be held in the Berliner Fernsehturm (Berlin TV Tower) close to Alexan- derplatz in central Berlin. The Fernsehturm is the fourth tallest freestanding structure in Europe and is easily visible throughout the central and some suburban districts of Berlin. The dinner will take place in the Sphere restaurant, 207 meters above the city. The Sphere restaurant rotation will offer you a 360° panorama of the Berlin. Travel information to the Television Tower can be found later in this booklet.

FRIDAY, SEPTEMBER 28TH

09:00 – 10:30 Keynote Sami Haddadin --Title: Machine Intelligence: Bridging the Gap bet- ween Robotics and AI 10:30– 11:00 Coffee Break & Poster Session 2 --Sven Stauden, Michael Barz and Daniel Sonntag: Visual Search Target Inference using Bag of Deep Visual Words

9 PROGRAM / FRIDAY, SEPTEMBER 28TH

--Patryk Hopner and Eneldo Loza Mencía: Analysis and Optimization of Deep Counterfactual Value Networks --Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni and Kai Sauerwald: Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management --Nicolas Riesterer, Daniel Brand and Marco Ragni: The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning 11:00 – 12:30 Session 6: Best Paper Session --Rustam Galimullin, Natasha Alechina and Hans van Ditmarsch: Model Checking for Coalition Announ- cement Logic (full paper) --Tobias Joppen, Christian Wirth and Johannes Fürn- kranz: Preference-Based Monte Carlo Tree Search (full paper) --Tobias Schwartz and Diedrich Wolter: A Variant of Monte-Carlo Tree Search for Referring Expression Generation (full paper) 12:30 – 14:00 Lunch 14:00 – 15:30 Session 7: Planning --Daniel Beßler, Mihai Pomarlan, Aliakbar Akbari, Mu- hayyuddin Gillani, Mohammed Diab, Jan Rosell, John Bateman and Michael Beetz: Assembly Planning in Cluttered Environments through Heterogeneous Reasoning (full paper) --Kristina Yordanova: Extracting Planning Operators from Instructional Texts for Behaviour Interpreta- tion (full paper) --Kyrill Schmid, Lenz Belzner, Marie Kiermeier, Alexan-

10 PROGRAM / FRIDAY, SEPTEMBER 28TH

der Neitz, Thomas Gabor, Thomy Phan and Claudia Linnhoff: Risk-Sensitivity in Simulation Based Online Planning (full paper) 15:30– 16:00 Coffee Break & Poster Session 3 --Gavin Rens, Abhaya Nayak and Thomas Meyer: Maximizing Expected Impact in an Agent Reputation Network --Daniel Krakowczyk, Jannik Wolff, Alexandru Ciobanu, Dennis Julian Meyer and Christopher-Eyk Hrabia: Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System --Seda Polat Erdeniz, Alexander Felfernig and Muesluem Atas: LEARNDIAG: A Direct Diagnosis Algorithm Based On Learned Heuristics --Dorothee Rocznik, Klaus Goffart, Manuel Wiesche and Helmut Krcmar: An Implementation and Eva- luation of User-centered Requirements for Smart In-House Mobility Services 16:00 – 17:30 Session 8: Learning --Michael Barry, Hubert Abgottspon and René Schu- mann: Solver Tuning and Model Configuration (full paper) --Brijnesh Jain: Condorcet‘s Jury Theorem for Consensus Clustering (full paper) --Peer Neubert and Peter Protzel: Towards Hypervec- tor Representations for Learning and Planning with Schemas (short paper) 17:30 – 18:00 Closing

11 LOCATIONS

LOCATIONS TU BERLIN CAMPUS

Zoo 250m

Zoo 100m Zoo t Tiergarten Mensa H T E L

12 LOCATIONS / TELEFUNKENHOCHHAUS

KI2018 will be held on the Campus of TU Berlin:

Here you can find a larger version of the campus plan.

The Workshops, Tutorials and Doctoral Colloquium will be held in the Telefunkenhochhaus (TEL). The main conference will be held in the main Building (H). Lunch on all days will be available in the Mensa.

TEL – TELEFUNKENHOCHHAUS

The Workshops, Tutorials and Doctoral Consortium will be held in the Telefunkenhochhaus in the following Rooms: -- Auditorium 1 (20th floor) -- Auditorium 2 (20th floor) -- TEL 1414 (14th floor) -- TEL 1315 (13th floor)

Coffee breaks on Monday and Tuesday will be held in the 20th floor of the Telefunkenhochhaus.

The registration will be in the 20th floor of the Telefunkenhochhaus starting Monday 08:30.

13 floor ofthemainbuildingTUBerlin: The mainconference (Wednesday tillFriday) willbeheldonthefirst BUILDING H –MAIN LOCATIONS

"f"

"e"

213,5

113.5/

200 77,5/

SKULPTUR

213,5

76/

STAHLUNTERKONSTRUKTION MIT STRECKMETALLPANEELEN MIT STAHLUNTERKONSTRUKTION

WAND BESTAND WAND WAND NEU WAND

213,5 113.5/ MAIN BUILDUNG MAIN

Straße des 17. Juni

MAIN ENTRANCE 14

"f" "e"

SIDE-ROOM SKULPTUR

RECEPTION COFFEE CONFERENCE

TO MENSA LOCATIONS / MENSA

The registration will be available starting Wednesday 08:30 in Room 1029. The main program of the conference will be held in lecture room 1012. Coffee will be available in Room 1028-V. The poster sessions will also be held in 1028-V on Thursday and Friday during coffee breaks.

If you cannot take stairs you can take the elevator to the first floor. From the main entrance, please take the left-most elevator, labeled “Aufzug Foyer”.

To reach the conference area from the main entrance of TU Berlin you can go up the stairs right at the main entrance and follow the signs.

MENSA

Lunch on all days will be served in the Mensa. You can reach the Mensa via the park behind the main building or via its main entrance on Hardenbergstraße.

You will find lunch vouchers in your conference bag and can use them to buy your lunch. A voucher contains the free choice from the daily menus of the cafeteria. This includes a soup, a main course including side dishes, a dessert and a non-alcoholic drink. The vouchers are to be used at the cash desk after you have picked up your lunch. Due to organizational reasons, there is no special area reserved for KI2018 participants at the Mensa. Feel free to have a seat where you like.

15 LOCATIONS / PUBLIC TRANSPORT

PUBLIC TRANSPORT

The following public transport stations are close to the conference venue: -- U-Bahn: Ernst-Reuter-Platz, Line U2 (red Line) -- Bus: Ernst-Reuter-Platz, Lines M45, 245 and X9; Steinplatz, Lines M45 and 245 -- S-Bahn: Zoologischer Garten, Lines S5, S7, S75; Tiergarten, Lines S5, S7, S75

An overview of public transport (U-Bahn and S-Bahn) in Berlin can be found here.

FRAUNHOFER FORUM (SPREEPALAIS) Evening reception on Wednesday and keynote on Thursday

The evening reception on Wednesday and the keynote on Thursday are joint events together with #INFORMATIK2018 and take place in the city center near Alexanderplatz/ Hackescher Markt.

PUBLIC TRANSPORT Best to reach via S Hackescher Markt or S+U Alexanderplatz Bhf

LOCATION Fraunhofer-Forum Berlin, Anna-Louisa-Karsch-Str. 2, 10178 Berlin

ROUTING EXAMPLE Starting at the TU Berlin you walk to the station S Tiergarten (roughly 9 mins walk) and can take each train (S3, S5, S7, S9) towards Alexanderplatz. Its four stations until S Hackescher Marks and another short walk (roughly 6 mins walk) to the destination.

16 LOCATIONS / FRAUENHOFER FORUM Berlin Aleanderplat  ackescher Markt ackescher FRAUNOFER FORUM Berlin Friedrichstrae Berlin auptbahnhof Tiergarten oologischer Gartenoologischer Ernst-Reuter-Plat  TEL

17 LOCATIONS / BERLINER FERNSEHTURM

BERLINER FERNSEHTURM – BERLIN TV TOWER

The conference dinner will be held in the Berliner Fernsehturm (Ber- lin TV Tower) close to Alexanderplatz in central Berlin.

Due to safety regulations the television tower has security checks and limited accessibility. So please expect delays when accessing the television tower. Detailed guidelines and information can be found here.

PUBLIC TRANSPORT Best to reach via S+U Alexanderplatz Bhf

LOCATION Berliner Fernsehturm – Berlin TV Tower, Panoramastraße 1A, D-10178 Berlin

tv-turm.de/en/homepage/

ROUTING EXAMPLE Starting at the TU Berlin you walk to the station S Tiergarten (roughly 9 mins walk) and can take each train (S3, S5, S7, S9) towards Alexanderplatz. Its five stations until S Alexanderplatz and another short walk (roughly 2 mins walk) to the destination.

18 LOCATIONS / BERLINER FERNSEHTURM Berlin Aleanderplat  BERLINER FERNSETURM Berlin Friedrichstrae Berlin auptbahnhof Tiergarten oologischer Gartenoologischer Ernst-Reuter-Plat  TEL