Skip to main content
SpringerLink
Log in

KI 2020: Advances in Artificial Intelligence

43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Ute Schmid

    1. Universität Bamberg, Bamberg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Franziska Klügl

    1. Örebro University, Örebro, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Diedrich Wolter

    1. Universität Bamberg, Bamberg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12325)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: KI 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Full Contributions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Two Algorithms for Additive and Fair Division of Mixed Manna

      • Martin Aleksandrov, Toby Walsh
      Pages 3-17

    3. Dynamic Play via Suit Factorization Search in Skat

      • Stefan Edelkamp
      Pages 18-32

    4. Dynamic Channel and Layer Gating in Convolutional Neural Networks

      • Ali Ehteshami Bejnordi, Ralf Krestel
      Pages 33-45

    5. Contour-Based Segmentation of Historical Printings

      • Norbert Fischer, Alexander Gehrke, Alexander Hartelt, Markus Krug, Frank Puppe
      Pages 46-58

    6. Hybrid Ranking and Regression for Algorithm Selection

      • Jonas Hanselle, Alexander Tornede, Marcel Wever, Eyke Hüllermeier
      Pages 59-72

    7. Conditional Reasoning and Relevance

      • Steffen Hölldobler
      Pages 73-87

    8. HTN Plan Repair via Model Transformation

      • Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
      Pages 88-101

    9. Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds

      • Christian Komo, Christoph Beierle
      Pages 102-115

    10. Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding

      • Irina Makarenko, Christoph Benzmüller
      Pages 116-131

    11. Low-Rank Subspace Override for Unsupervised Domain Adaptation

      • Christoph Raab, Frank-Michael Schleif
      Pages 132-147

    12. Expressive Explanations of DNNs by Combining Concept Analysis with ILP

      • Johannes Rabold, Gesina Schwalbe, Ute Schmid
      Pages 148-162

    13. Stable Resolving - A Randomized Local Search Heuristic for MaxSAT

      • Julian Reisch, Peter Großmann, Natalia Kliewer
      Pages 163-175

    14. 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

    15. Exploring the Effects of Role Design on Agent Learning

      • Lukas Reuter, Jan Ole Berndt, Ingo J. Timm
      Pages 190-203

    16. Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

      • Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
      Pages 204-218

    17. Multi-agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective

      • Pavel Surynek
      Pages 219-232

  3. Abstracts of Pre-published Papers

    1. Front Matter

      Pages 233-233
      Download chapter PDF

    2. Cones, Negation, and All That

      • Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
      Pages 235-239
Back to top

Other volumes

  1. KI 2020: Advances in Artificial Intelligence

Keywords

About this book

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.

Editors and Affiliations

  • Universität Bamberg, Bamberg, Germany

    Ute Schmid, Diedrich Wolter

  • Örebro University, Örebro, Sweden

    Franziska Klügl

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation