KI 2020: Advances in Artificial Intelligence : 43rd German Conference on AI : Bamberg, Germany, September 21-25, 2020 : proceedings

This book constitutes the refereed proceedings of the 43rd German Conference on Artificial Intelligence, KI 2020, held in Bamberg, Germany, in September 2020. The 16 full and 12 short papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 62 submissions. As well-established annual conference series KI is dedicated to research on theory and applications across all methods and topic areas of AI research. KI 2020 had a special focus on human-centered AI with highlights on AI and education and explainable machine learning. Due to the Corona pandemic KI 2020 was held as a virtual event. Front Matter ....Pages i-xiii Front Matter ....Pages 1-1 Two Algorithms for Additive and Fair Division of Mixed Manna (Martin Aleksandrov, Toby Walsh)....Pages 3-17 Dynamic Play via Suit Factorization Search in Skat (Stefan Edelkamp)....Pages 18-32 Dynamic Channel and Layer Gating in Convolutional Neural Networks (Ali Ehteshami Bejnordi, Ralf Krestel)....Pages 33-45 Contour-Based Segmentation of Historical Printings (Norbert Fischer, Alexander Gehrke, Alexander Hartelt, Markus Krug, Frank Puppe)....Pages 46-58 Hybrid Ranking and Regression for Algorithm Selection (Jonas Hanselle, Alexander Tornede, Marcel Wever, Eyke Hüllermeier)....Pages 59-72 Conditional Reasoning and Relevance (Steffen Hölldobler)....Pages 73-87 HTN Plan Repair via Model Transformation (Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo)....Pages 88-101 Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds (Christian Komo, Christoph Beierle)....Pages 102-115 Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding (Irina Makarenko, Christoph Benzmüller)....Pages 116-131 Low-Rank Subspace Override for Unsupervised Domain Adaptation (Christoph Raab, Frank-Michael Schleif)....Pages 132-147 Expressive Explanations of DNNs by Combining Concept Analysis with ILP (Johannes Rabold, Gesina Schwalbe, Ute Schmid)....Pages 148-162 Stable Resolving - A Randomized Local Search Heuristic for MaxSAT (Julian Reisch, Peter Großmann, Natalia Kliewer)....Pages 163-175 A Virtual Caregiver for Assisted Daily Living of Pre-frail Users (Jennifer Renoux, Matteo Luperto, Nicola Basilico, Marta Romeo, Marios Milis, Francesca Lunardini et al.)....Pages 176-189 Exploring the Effects of Role Design on Agent Learning (Lukas Reuter, Jan Ole Berndt, Ingo J. Timm)....Pages 190-203 Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation (Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle)....Pages 204-218 Multi-agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective (Pavel Surynek)....Pages 219-232 Front Matter ....Pages 233-233 Cones, Negation, and All That (Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter)....Pages 235-239 Swarm-Based Cluster Analysis for Knowledge Discovery (Michael C. Thrun, Alfred Ultsch)....Pages 240-244 Draw with Me: Human-in-the-Loop for Image Restoration (Thomas Weber, Zhiwei Han, Stefan Matthes, Heinrich Hußmann, Yuanting Liu)....Pages 245-248 Front Matter ....Pages 249-249 Reasonable Machines: A Research Manifesto (Christoph Benzmüller, Bertram Lomfeld)....Pages 251-258 A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty (Lukas Berger, Bernhard Nebel, Marco Ragni)....Pages 259-266 Earnings Prediction with Deep Leaning (Lars Elend, Sebastian A. Tideman, Kerstin Lopatta, Oliver Kramer)....Pages 267-274 Integrating Keywords into BERT4Rec for Sequential Recommendation (Elisabeth Fischer, Daniel Zoller, Alexander Dallmann, Andreas Hotho)....Pages 275-282 Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic (Jonas Philipp Haldimann, Anna Osiak, Christoph Beierle)....Pages 283-289 Conformal Rule-Based Multi-label Classification (Eyke Hüllermeier, Johannes Fürnkranz, Eneldo Loza Mencia)....Pages 290-296 Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem (Sven Löffler, Ke Liu, Petra Hofstedt)....Pages 297-304 Fast Pathfinding in Knowledge Graphs Using Word Embeddings (Leon Martin, Jan H. Boockmann, Andreas Henrich)....Pages 305-312 A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net (Duy Minh Ho Nguyen, Abraham Ezema, Fabrizio Nunnari, Daniel Sonntag)....Pages 313-319 Evaluation of Deep Learning Accelerators for Object Detection at the Edge (Pascal Puchtler, René Peinl)....Pages 320-326 Learning Choice Functions via Pareto-Embeddings (Karlson Pfannschmidt, Eyke Hüllermeier)....Pages 327-333 Simulation-Based Validation of Robot Commands for Force-Based Robot Motions (Kim Wölfel, Dominik Henrich)....Pages 334-340 Front Matter ....Pages 341-341 Firefighter Virtual Reality Simulation for Personalized Stress Detection (Soeren Klingner, Zhiwei Han, Yuanting Liu, Fan Fan, Bashar Altakrouri, Bruno Michel et al.)....Pages 343-347 The AI Domain Definition Language (AIDDL) for Integrated Systems (Uwe Köckemann)....Pages 348-352 Back Matter ....Pages 353-360