KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings

Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
 Keynote: Session-Based Recommendation – Challenges and Recent Advances  (Dietmar Jannach)....Pages 3-7
Front Matter ....Pages 9-9
 Model Checking for Coalition Announcement Logic  (Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch)....Pages 11-23
 Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm  (Tanya Braun, Ralf Möller)....Pages 24-37
 Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm  (Marcel Gehrke, Tanya Braun, Ralf Möller)....Pages 38-45
 Acquisition of Terminological Knowledge in Probabilistic Description Logic  (Francesco Kriegel)....Pages 46-53
Front Matter ....Pages 55-55
 Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items  (Martin Aleksandrov, Toby Walsh)....Pages 57-72
 Approximate Probabilistic Parallel Multiset Rewriting Using MCMC  (Stefan Lüdtke, Max Schröder, Thomas Kirste)....Pages 73-85
 Efficient Auction Based Coordination for Distributed Multi-agent Planning in Temporal Domains Using Resource Abstraction  (Andreas Hertle, Bernhard Nebel)....Pages 86-98
 Maximizing Expected Impact in an Agent Reputation Network  (Gavin Rens, Abhaya Nayak, Thomas Meyer)....Pages 99-106
 Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System  (Daniel Krakowczyk, Jannik Wolff, Alexandru Ciobanu, Dennis Julian Meyer, Christopher-Eyk Hrabia)....Pages 107-114
Front Matter ....Pages 115-115
 A Sequence-Based Neuronal Model for Mobile Robot Localization  (Peer Neubert, Subutai Ahmad, Peter Protzel)....Pages 117-130
 Acquiring Knowledge of Object Arrangements from Human Examples for Household Robots  (Lisset Salinas Pinacho, Alexander Wich, Fereshta Yazdani, Michael Beetz)....Pages 131-138
Front Matter ....Pages 139-139
 Solver Tuning and Model Configuration  (Michael Barry, Hubert Abgottspon, René Schumann)....Pages 141-154
 Condorcet’s Jury Theorem for Consensus Clustering  (Brijnesh Jain)....Pages 155-168
 Sparse Transfer Classification for Text Documents  (Christoph Raab, Frank-Michael Schleif)....Pages 169-181
 Towards Hypervector Representations for Learning and Planning with Schemas  (Peer Neubert, Peter Protzel)....Pages 182-189
 LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics  (Seda Polat Erdeniz, Alexander Felfernig, Muesluem Atas)....Pages 190-197
Front Matter ....Pages 199-199
 Assembly Planning in Cluttered Environments Through Heterogeneous Reasoning  (Daniel Beßler, Mihai Pomarlan, Aliakbar Akbari, Muhayyuddin, Mohammed Diab, Jan Rosell et al.)....Pages 201-214
 Extracting Planning Operators from Instructional Texts for Behaviour Interpretation  (Kristina Yordanova)....Pages 215-228
 Risk-Sensitivity in Simulation Based Online Planning  (Kyrill Schmid, Lenz Belzner, Marie Kiermeier, Alexander Neitz, Thomy Phan, Thomas Gabor et al.)....Pages 229-240
Front Matter ....Pages 241-241
 Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data  (Daniel Lückehe, Sonja Veith, Gabriele von Voigt)....Pages 243-257
 Knowledge Sharing for Population Based Neural Network Training  (Stefan Oehmcke, Oliver Kramer)....Pages 258-269
 Limited Evaluation Evolutionary Optimization of Large Neural Networks  (Jonas Prellberg, Oliver Kramer)....Pages 270-283
 Understanding NLP Neural Networks by the Texts They Generate  (Mihai Pomarlan, John Bateman)....Pages 284-296
 Visual Search Target Inference Using Bag of Deep Visual Words  (Sven Stauden, Michael Barz, Daniel Sonntag)....Pages 297-304
 Analysis and Optimization of Deep Counterfactual Value Networks  (Patryk Hopner, Eneldo Loza Mencía)....Pages 305-312
Front Matter ....Pages 313-313
 A Variant of Monte-Carlo Tree Search for Referring Expression Generation  (Tobias Schwartz, Diedrich Wolter)....Pages 315-326
 Preference-Based Monte Carlo Tree Search  (Tobias Joppen, Christian Wirth, Johannes Fürnkranz)....Pages 327-340
Front Matter ....Pages 341-341
 Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence  (Gavin Rens, Thomas Meyer, Gabriele Kern-Isberner, Abhaya Nayak)....Pages 343-356
 Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges  (Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald et al.)....Pages 357-365
 Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management  (Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald)....Pages 366-373
Front Matter ....Pages 375-375
 Bounded-Memory Stream Processing  (Özgür Lütfü Özçep)....Pages 377-390
 An Implementation and Evaluation of User-Centered Requirements for Smart In-house Mobility Services  (Dorothee Rocznik, Klaus Goffart, Manuel Wiesche, Helmut Krcmar)....Pages 391-398
Front Matter ....Pages 399-399
 Predict the Individual Reasoner: A New Approach  (Ilir Kola, Marco Ragni)....Pages 401-414
 The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning  (Nicolas Riesterer, Daniel Brand, Marco Ragni)....Pages 415-421
Back Matter ....Pages 423-424