KI 2018: Advances in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Keynote: Session-Based Recommendation – Challenges and Recent Advances
3. Altmetric Badge
   Chapter 2 Model Checking for Coalition Announcement Logic
4. Altmetric Badge
   Chapter 3 Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm
5. Altmetric Badge
   Chapter 4 Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm
6. Altmetric Badge
   Chapter 5 Acquisition of Terminological Knowledge in Probabilistic Description Logic
7. Altmetric Badge
   Chapter 6 Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items
8. Altmetric Badge
   Chapter 7 Approximate Probabilistic Parallel Multiset Rewriting Using MCMC
9. Altmetric Badge
   Chapter 8 Efficient Auction Based Coordination for Distributed Multi-agent Planning in Temporal Domains Using Resource Abstraction
10. Altmetric Badge
    Chapter 9 Maximizing Expected Impact in an Agent Reputation Network
11. Altmetric Badge
    Chapter 10 Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System
12. Altmetric Badge
    Chapter 11 A Sequence-Based Neuronal Model for Mobile Robot Localization
13. Altmetric Badge
    Chapter 12 Acquiring Knowledge of Object Arrangements from Human Examples for Household Robots
14. Altmetric Badge
    Chapter 13 Solver Tuning and Model Configuration
15. Altmetric Badge
    Chapter 14 Condorcet’s Jury Theorem for Consensus Clustering
16. Altmetric Badge
    Chapter 15 Sparse Transfer Classification for Text Documents
17. Altmetric Badge
    Chapter 16 Towards Hypervector Representations for Learning and Planning with Schemas
18. Altmetric Badge
    Chapter 17 L earn D iag : A Direct Diagnosis Algorithm Based On Learned Heuristics
19. Altmetric Badge
    Chapter 18 Assembly Planning in Cluttered Environments Through Heterogeneous Reasoning
20. Altmetric Badge
    Chapter 19 Extracting Planning Operators from Instructional Texts for Behaviour Interpretation
21. Altmetric Badge
    Chapter 20 Risk-Sensitivity in Simulation Based Online Planning
22. Altmetric Badge
    Chapter 21 Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data
23. Altmetric Badge
    Chapter 22 Knowledge Sharing for Population Based Neural Network Training
24. Altmetric Badge
    Chapter 23 Limited Evaluation Evolutionary Optimization of Large Neural Networks
25. Altmetric Badge
    Chapter 24 Understanding NLP Neural Networks by the Texts They Generate
26. Altmetric Badge
    Chapter 25 Visual Search Target Inference Using Bag of Deep Visual Words
27. Altmetric Badge
    Chapter 26 Analysis and Optimization of Deep Counterfactual Value Networks
28. Altmetric Badge
    Chapter 27 A Variant of Monte-Carlo Tree Search for Referring Expression Generation
29. Altmetric Badge
    Chapter 28 Preference-Based Monte Carlo Tree Search
30. Altmetric Badge
    Chapter 29 Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence
31. Altmetric Badge
    Chapter 30 Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges
32. Altmetric Badge
    Chapter 31 Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
33. Altmetric Badge
    Chapter 32 Bounded-Memory Stream Processing
34. Altmetric Badge
    Chapter 33 An Implementation and Evaluation of User-Centered Requirements for Smart In-house Mobility Services
35. Altmetric Badge
    Chapter 34 Predict the Individual Reasoner: A New Approach
36. Altmetric Badge
    Chapter 35 The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning