KI 2020 : advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings /: advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings. (2020)
- Record Type:
- Book
- Title:
- KI 2020 : advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings /: advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings. (2020)
- Main Title:
- KI 2020 : advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings
- Further Information:
- Note: Ute Schmid, Franziska Klügl, Diedrich Wolter (eds.).
- Other Names:
- Schmid, Ute
Klügl, Franziska
Wolter, Diedrich
German Conference on Artificial Intelligence, 43rd - 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 forTwo 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 f or 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. … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2020
- Copyright Date:
- 2020
- Extent:
- 1 online resource (360 pages)
- Subjects:
- 006.3
Artificial intelligence -- Congresses
Computer science
Computer vision
Software Engineering
Databases
Information technology: general issues
Artificial intelligence
Computers -- Computer Science
Computers -- Computer Vision & Pattern Recognition
Computers -- Software Development & Engineering -- General
Computers -- Database Management -- General
Computers -- Data Processing
Computers -- Intelligence (AI) & Semantics
Artificial intelligence
Electronic books
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783030582852
- Related ISBNs:
- 9783030582845
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.550543
- Ingest File:
- 04_030.xml