KI 2020: Advances in Artificial Intelligence: 43rd German Conference on Ai, Bamberg, Germany, September 21-25, 2020, Proceedings, Schmid Ute, Klьgl Franziska, Wolter Diedrich

Two Algorithms for Additive and Fair Division of Mixed Manna.- Dynamic Play via Suit Factorization Search in Skat.- Dynamic Channel and Layer Gating in Convolutional Neural Network.- Contour-based Segmentation of Historical Printings.- Hybrid Ranking and Regression for Algorithm Selection.- Conditional Reasoning and Relevance.- HTN Plan Repair via Model Transformation.- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds.- Positive Free Higher-Order Logic and its Automation via a Semantical Embedding.- Low-Rank Subspace Override for Unsupervised Domain Adaptation.- Expressive Explanations of DNNs by Combining Concept Analysis with ILP.- Stable Resolving - A Randomized Local Search Heuristic for MaxSAT.- A Virtual Caregiver for Assisted Daily Living of Pre-Frail Users.- Exploring the Effects of Role Design on Agent Learning.- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.- Multi-Agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective.- Meta-Induction, Probability Aggregation, and Optimal Scoring.- Cones, Negation, and All That.- Swarm-based Cluster Analysis for Knowledge Discovery.- Draw with Me: Human-in-the-Loop for Image Restoration.- Reasonable Machines: A Research Manifesto.- A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty.- Earnings Prediction with Deep Leaning.- Integrating Keywords into BERT4Rec for Sequential Recommendation.- Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic.- Conformal Rule-Based Multi-label Classification.- Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem.- Fast Pathfinding in Knowledge Graphs Using Word Embeddings.- A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net.- Evaluation of Deep Learning Accelerators for Object Detection at the Edge.-Learning Choice Functions via Pareto-Embeddings.- Simulation-Based Validation of Robot Commands for Force-based Robot Motions.- Firefighter Virtual Reality Simulation for Personalized Stress Detection.- The AI Domain Definition Language (AIDDL) for Integrated Systems.