東華大學圖書館 |

KI 2020 = advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	KI 2020/ edited by Ute Schmid, Franziska Klugl, Diedrich Wolter.
Reminder of title:	advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings /
other author:	Schmid, Ute.
corporate name:	German Conference on Artificial Intelligence
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xiii, 360 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-58285-2
ISBN:	9783030582852

KI 2020 = advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings /
KI 2020advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings /[electronic resource] :edited by Ute Schmid, Franziska Klugl, Diedrich Wolter. - Cham :Springer International Publishing :2020. - xiii, 360 p. :ill., digital ;24 cm. - Lecture notes in computer science,123250302-9743 ;. - Lecture notes in computer science ;12325..

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.

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.

ISBN: 9783030582852

Standard No.: 10.1007/978-3-030-58285-2doiSubjects--Topical Terms:

606815
Artificial intelligence
--Congresses.

LC Class. No.: Q334

Dewey Class. No.: 006.3

KI 2020 = advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings /
LDR:04147nmm a2200349 a 4500 001 2243568
003 DE-He213
005 20200909144737.0
006 m d
007 cr nn 008maaau
008 211207s2020 sz s 0 eng d
020 $a 9783030582852 $q (electronic bk.)
020 $a 9783030582845 $q (paper)
024 7 $a 10.1007/978-3-030-58285-2 $2 doi
035 $a 978-3-030-58285-2
040 $a GP $c GP
041 0 $a eng
050 4 $a Q334
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
090 $a Q334 $b .G373 2020
111 2 $a German Conference on Artificial Intelligence $n (43rd : $d 2020 : $c Online) $3 3503700
245 1 0 $a KI 2020 $h [electronic resource] : $b advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings / $c edited by Ute Schmid, Franziska Klugl, Diedrich Wolter.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xiii, 360 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12325
490 1 $a Lecture notes in artificial intelligence
505 0 $a 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.
520 $a 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.
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Computer Imaging, Vision, Pattern Recognition and Graphics. $3 890871
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Database Management. $3 891010
650 2 4 $a Computer Applications. $3 891249
700 1 $a Schmid, Ute. $3 1067368
700 1 $a Klugl, Franziska. $3 896190
700 1 $a Wolter, Diedrich. $3 907295
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12325. $3 3503701
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-030-58285-2
950 $a Computer Science (SpringerNature-11645)