default search action
43rd KI 2020: Virtual Event / Bamberg, Germany
- Ute Schmid, Franziska Klügl, Diedrich Wolter:
KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings. Lecture Notes in Computer Science 12325, Springer 2020, ISBN 978-3-030-58284-5
Full Contributions
- Martin Aleksandrov, Toby Walsh:
Two Algorithms for Additive and Fair Division of Mixed Manna. 3-17 - Stefan Edelkamp:
Dynamic Play via Suit Factorization Search in Skat. 18-32 - Ali Ehteshami Bejnordi, Ralf Krestel:
Dynamic Channel and Layer Gating in Convolutional Neural Networks. 33-45 - Norbert Fischer, Alexander Gehrke, Alexander Hartelt, Markus Krug, Frank Puppe:
Contour-Based Segmentation of Historical Printings. 46-58 - Jonas Hanselle, Alexander Tornede, Marcel Wever, Eyke Hüllermeier:
Hybrid Ranking and Regression for Algorithm Selection. 59-72 - Steffen Hölldobler:
Conditional Reasoning and Relevance. 73-87 - Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
HTN Plan Repair via Model Transformation. 88-101 - Christian Komo, Christoph Beierle:
Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds. 102-115 - Irina Makarenko, Christoph Benzmüller:
Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding. 116-131 - Christoph Raab, Frank-Michael Schleif:
Low-Rank Subspace Override for Unsupervised Domain Adaptation. 132-147 - Johannes Rabold, Gesina Schwalbe, Ute Schmid:
Expressive Explanations of DNNs by Combining Concept Analysis with ILP. 148-162 - Julian Reisch, Peter Großmann, Natalia Kliewer:
Stable Resolving - A Randomized Local Search Heuristic for MaxSAT. 163-175 - Jennifer Renoux, Matteo Luperto, Nicola Basilico, Marta Romeo, Marios Milis, Francesca Lunardini, Simona Ferrante, Amy Loutfi, N. Alberto Borghese:
A Virtual Caregiver for Assisted Daily Living of Pre-frail Users. 176-189 - Lukas Reuter, Jan Ole Berndt, Ingo J. Timm:
Exploring the Effects of Role Design on Agent Learning. 190-203 - Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. 204-218 - Pavel Surynek:
Multi-agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective. 219-232
Abstracts of Pre-published Papers
- Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter:
Cones, Negation, and All That. 235-239 - Michael C. Thrun, Alfred Ultsch:
Swarm-Based Cluster Analysis for Knowledge Discovery. 240-244 - Thomas Weber, Zhiwei Han, Stefan Matthes, Heinrich Hußmann, Yuanting Liu:
Draw with Me: Human-in-the-Loop for Image Restoration. 245-248
Technical Contributions
- Christoph Benzmüller, Bertram Lomfeld:
Reasonable Machines: A Research Manifesto. 251-258 - Lukas Berger, Bernhard Nebel, Marco Ragni:
A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty. 259-266 - Lars Elend, Sebastian A. Tideman, Kerstin Lopatta, Oliver Kramer:
Earnings Prediction with Deep Learning. 267-274 - Elisabeth Fischer, Daniel Zoller, Alexander Dallmann, Andreas Hotho:
Integrating Keywords into BERT4Rec for Sequential Recommendation. 275-282 - Jonas Haldimann, Anna Osiak, Christoph Beierle:
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. 283-289 - Eyke Hüllermeier, Johannes Fürnkranz, Eneldo Loza Mencía:
Conformal Rule-Based Multi-label Classification. 290-296 - Sven Löffler, Ke Liu, Petra Hofstedt:
Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem. 297-304 - Leon Martin, Jan H. Boockmann, Andreas Henrich:
Fast Pathfinding in Knowledge Graphs Using Word Embeddings. 305-312 - Duy Minh Ho Nguyen, Abraham Obinwanne Ezema, Fabrizio Nunnari, Daniel Sonntag:
A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net. 313-319 - Pascal Puchtler, René Peinl:
Evaluation of Deep Learning Accelerators for Object Detection at the Edge. 320-326 - Karlson Pfannschmidt, Eyke Hüllermeier:
Learning Choice Functions via Pareto-Embeddings. 327-333 - Kim Wölfel, Dominik Henrich:
Simulation-Based Validation of Robot Commands for Force-Based Robot Motions. 334-340
Demonstration Abstracts
- Soeren Klingner, Zhiwei Han, Yuanting Liu, Fan Fan, Bashar Altakrouri, Bruno Michel, Jonas R. M. Weiss, Arvind Sridhar, Sophie Mai Chau:
Firefighter Virtual Reality Simulation for Personalized Stress Detection. 343-347 - Uwe Köckemann:
The AI Domain Definition Language (AIDDL) for Integrated Systems. 348-352
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.