KI 2018: Advances in Artificial Intelligence

Keynote Talks.- Keynote: Session-based Recommendation - Challenges and Recent Advances.- Reasoning.- Model Checking for Coalition Announcement Logic.- Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm.- Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm.- Acquisition of Terminological Knowledge in Probabilistic Description Logic.- Multi-Agent Systems.- Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items.- Approximate Probabilistic Parallel Multiset Rewriting using MCMC.- Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction.- Maximizing Expected Impact in an Agent Reputation Network.- Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System.- Robotics.- A Sequence-Based Neuronal Model for Mobile Robot Localization.- Acquiring knowledge of object arrangements from human examples for household robots.- Learning.- Solver Tuning and Model Configuration.- Condorcet's Jury Theorem for Consensus Clustering.- Sparse Transfer Classification for Text Documents.- Towards Hypervector Representations for Learning and Planning with Schemas.- LEARNDIAG: A Direct Diagnosis Algorithm Based On Learned Heuristics.- Planning.- Assembly Planning in Cluttered Environments through Heterogeneous Reasoning.- Extracting Planning Operators from Instructional Texts for Behaviour Interpretation.- Risk-Sensitivity in Simulation Based Online Planning.- Neural Networks.- Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data.- Knowledge Sharing For Population Based Neural Network Training.- Limited Evaluation Evolutionary Optimization of Large Neural Networks.- Understanding NLP Neural Networks by the Texts They Generate.- Visual Search Target Inference using Bag of Deep Visual Words.- Analysis and Optimization of Deep Counterfactual Value Networks.- Search. -A Variant