Monday (September 21, 2020)
Room	1	2	3	4	5	DC
8:30–10:30	T4			T1	T2	Student Day

11:00–13:00	T4			T1	T2

14:00–16:00	W5	W2	W4	W1	T7

16:30–18:30	W5	W2	W4	W1	T7

19:00	KI and Computer Science Jeopardy DC

Tuesday(September 22, 2020)
Room	1	2	3	4	5	DC
8:30–10:30	W3	T6		T5	T3	Doctoral Consortium
	Virtual coffee break
11:00–12:30	W3	T6		T5	T3

13:30–14:00	Official Welcome Main
14:00–15:00	Jana Koehler: 10¹²⁰ and Beyond: Scalable AI Search Algorithms as a Foundation for Powerful Industrial Optimization (Keynote) Main
	Virtual coffee break Lobby
15:30–16:30	Ulli Waltinger: The Beauty of Imperfection: From Gut Feeling to Transfer Learning to Self-Supervision (Keynote) Main
	Virtual coffee break Lobby
17:00–18:30	Main Poster and Demo Session P Reasonable Machines: A Research Manifesto Christoph Benzmüller and Bertram Lomfeld P A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty Lukas Berger, Marco Ragni and Bernhard Nebel P Earnings Prediction with Deep Leaning Lars Elend, Sebastian Tideman, Kerstin Lopatta and Oliver Kramer P Integrating Keywords into BERT4Rec forSequential Recommendation Elisabeth Fischer, Daniel Zoller, Alexander Dallmann and Andreas Hotho P Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic Jonas Philipp Haldimann, Anna Osiak and Christoph Beierle P Conformal Rule-Based Multi-label Classification Eyke Hüllermeier, Johannes Fürnkranz and Eneldo Loza Mencia P Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem Sven Löffler, Ke Liu and Petra Hofstedt P Fast Pathfinding in Knowledge Graphs Using Word Embeddings Leon Martin, Jan Boockmann and Andreas Henrich P A visually explainable learning system for skin lesion detection using multiscale input with Attention U-Net Ho Minh Duy Nguyen, Abraham Ezema, Fabrizio Nunnari and Daniel Sonntag P Evaluation of deep learning accelerators for object detection at the edge René Peinl and Pascal Puchtler P Learning Choice Functions via Pareto-Embeddings Karlson Pfannschmidt and Eyke Hüllermeier P Simulation-Based Validation of Robot Commands for Force-based Robot Motions Kim Wölfel and Dominik Henrich P Algorithms for Inconsistency Measurement Isabelle Kuhlmann P Recognition and Extraction of Game Patterns from Text Supported by Interactive Learning from Board Game Instructions Alexander Schneider P Firefighter Virtual Reality Simulation for Personalized Stress Detection Sören Klingner, Zhiwei Han, Yuanting Liu, Fan Fan, Bashar Altakrouri, Bruno Michel, Jonas Weiss, Arvind Sridhar and Sophie Mai Chau P The AI Domain Definition Language (AIDDL) for Integrated Systems Uwe Köckemann

Wednesday (September 23, 2020)
9:00–10:00	Anthony G. Cohn: Learning about Language and Action for Robots (Keynote) Main
	Virtual coffee break Lobby
10:30–12:30	Main Search, Optimization, Machine Learning Malte Helmert Meta-induction, Probability Aggregation, and Optimal Scoring Christian J. Feldbacher-Escamilla and Gerhard Schurz Hybrid Ranking and Regression for Algorithm Selection Jonas Hanselle, Alexander Tornede, Marcel Wever and Eyke Hüllermeier Dynamic Play via Suit Factorization Search in Skat Stefan Edelkamp Resolving - A Randomized Local Search Heuristic for MaxSAT Julian Reisch, Peter Großmann and Natalia Kliewer Stable Swarm-based Cluster Analysis for Knowledge Discovery Michael Thrun and Alfred Ultsch Multi-Agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective Pavel Surynek

13:30–14:30	Hector Geffner: From Model-free to Model-based AI: Representation learning for Planning (Keynote) Main
	Virtual coffee break Lobby
15:00–16:00	Main Best Paper Session Ingo Timm Two Algorithms for Additive and Fair Division of Mixed Manna Martin Aleksandrov and Toby Walsh Low-Rank Subspace Override for Unsupervised Domain Adaptation Christoph Raab and Frank-Michael Schleif HTN Plan Repair via Model Transformation Daniel Höller, Pascal Bercher, Gregor Behnke and Susanne Biundo
	Virtual coffee break Lobby
16:30–17:30	Main Machine Learning Eyke Hüllermeier Expressive Explanations of DNNs by Combining Concept Analysis with ILP Johannes Rabold, Gesina Schwalbe and Ute Schmid Dynamic channel and layer gating in convolutional neural network Ali Ehteshami Bejnordi and Ralf Krestel Exploring the Effects of Role Design on Agent Learning Lukas Reuter, Jan Ole Berndt and Ingo J. Timm
	time to relocate (e.g. to go home from office)
19:00	Beer Tasting: Learn about Bamberg as a beer capital, drink beer and socialize online Lobby

Thursday (September 24, 2020)
9:00–10:00	Nada Lavrač: Semantic Relational Learning (Keynote) Main
	Virtual coffee break Lobby
10:30–12:15	Main Knowledge Representation and Reasoning Lutz Schröder Cones, Negation, and All That Özgür Lütfü Özcep, Mena Leemhuis and Diedrich Wolter Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation Kai Sauerwald, Jonas Philipp Haldimann, Martin von Berg and Christoph Beierle Positive Free Higher-Order Logic and its Automation via a Semantical Embedding Irina Makarenko and Christoph Benzmüller Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds Christian Komo and Christoph Beierle Conditional Reasoning and Relevance Steffen Hölldobler

13:30–14:30	Sebastian Riedel: Open and Closed Book Machine Reading (Keynote) Main
	Virtual coffee break Lobby
15:00–16:00	Main Applications Daniel Sonntag Contour-based Segmentation of Historical Printings Norbert Fischer, Alexander Gehrke, Alexander Hartelt, Markus Krug and Frank Puppe A Virtual Caregiver for Assisted Daily Living of Pre-Frail Users Jennifer Renoux, Matteo Luperto, Nicola Basilico, Marta Romeo, Marios Millis, Francesca Lunardini, Simona Ferrante, Amy Loutfi and N. Alberto Borghese Draw with Me: Human-in-the-Loop for Image Restoration Thomas Weber, Zhiwei Han, Stefan Matthes, Heinrich Hussmann and Yuanting Liu
	Virtual coffee break Lobby
16:15–17:30	Main Panel: Explaining, teaching, and discussing AI Host: Prof. Dr. Annette Leßmöllmann, KIT, Department of Science Communication Kick-off presentations Activities of the special interest group concerning AI education Prof. Dr. Ingo Timm, U Trier, Head of the GI special interest group AI Highlights of results of the empirical study concerning AI knowledge Dr. Roland Stürz, Bayerisches Forschungsinstitut für Digitale Transformation Discussion Prof. Amy Loutfi, PhD, School of Science and Technology, Örebro University Mag. Mike Bernd, KI Campus/Stifterverband Annabel Lindner, M.Ed., FAU Erlangen-Nürnberg, „AI unplugged“ Lisa Badum, MdB
17:30	Farewell and next KI2021 Advertisement Main
17:45–19:00	GI General Assembly of the AI Section of the German Society for Informatics (GI-FBKI) – Mitgliederversammlung des GI-Fachbereichs Künstliche Intelligenz (GI-FBKI) Zoom-Password: `pT$B6Z`

Awards

Best Paper: Low-Rank Subspace Override for Unsupervised Domain Adaptation
Christoph Raab and Frank-Michael Schleif
Best Paper Presentation: Meta-induction, Probability Aggregation, and Optimal Scoring
Christian J. Feldbacher-Escamilla and Gerhard Schurz
Best Poster Presentation: Firefighter Virtual Reality Simulation for Personalized Stress Detection
Sören Klingner, Zhiwei Han, Yuanting Liu, Fan Fan, Bashar Altakrouri, Bruno Michel, Jonas Weiss, Arvind Sridhar and Sophie Mai Chau

Supported by

Section for Artificial Intelligence within the Gesellschaft für Informatik

Springer Verlag

Fraunhofer-Institut für Integrierte Schaltungen

Siemens – Ingenuity for Life