000 05596nam a22006615i 4500
001 978-3-030-58285-2
003 DE-He213
005 20240730173916.0
007 cr nn 008mamaa
008 200908s2020 sz | s |||| 0|eng d
020 _a9783030582852
_9978-3-030-58285-2
024 7 _a10.1007/978-3-030-58285-2
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aKI 2020: Advances in Artificial Intelligence
_h[electronic resource] :
_b43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings /
_cedited by Ute Schmid, Franziska Klügl, Diedrich Wolter.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXIII, 360 p. 33 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v12325
505 0 _aTwo 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 theEdge.-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.
520 _aThis 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.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 0 _aImage processing
_xDigital techniques.
_94145
650 0 _aComputer vision.
_9110274
650 0 _aSoftware engineering.
_94138
650 0 _aDatabase management.
_93157
650 0 _aApplication software.
_9110275
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aTheory of Computation.
_9110276
650 2 4 _aComputer Imaging, Vision, Pattern Recognition and Graphics.
_931569
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aDatabase Management.
_93157
650 2 4 _aComputer and Information Systems Applications.
_9110277
700 1 _aSchmid, Ute.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110278
700 1 _aKlügl, Franziska.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110279
700 1 _aWolter, Diedrich.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110280
710 2 _aSpringerLink (Online service)
_9110281
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030582845
776 0 8 _iPrinted edition:
_z9783030582869
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v12325
_9110282
856 4 0 _uhttps://doi.org/10.1007/978-3-030-58285-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89162
_d89162