KI 2020: Advances in Artificial Intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings / edited by Ute Schmid, Franziska Klügl, Diedrich Wolter.

Format:

Book

Contributor:

Schmid, U. (Ute), Editor.

Klügl, Franziska, Editor.

Wolter, Diedrich, Editor.

SpringerLink (Online service)

Series:

Computer Science (SpringerNature-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence 2945-9141 ; 12325

Lecture Notes in Artificial Intelligence, 2945-9141 ; 12325

Language:

English

Subjects (All):

Artificial intelligence.

Computer science.

Image processing-Digital techniques.

Computer vision.

Software engineering.

Database management.

Application software.

Artificial Intelligence.

Theory of Computation.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Software Engineering.

Database Management.

Computer and Information Systems Applications.

Local Subjects:

Artificial Intelligence.

Theory of Computation.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Software Engineering.

Database Management.

Computer and Information Systems Applications.

Physical Description:

1 online resource (XIII, 360 pages) : 33 illustrations

Edition:

1st ed. 2020.

Contained In:

Springer Nature eBook

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2020.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-030-58285-2

9783030582852

Access Restriction:

Restricted for use by site license.