KI 2017 : advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings

Front Matter ....Pages I-XIX
Front Matter ....Pages 1-1
 Employing a Restricted Set of Qualitative Relations in Recognizing Plain Sketches  (Ahmed M. H. Abdelfattah, Wael Zakaria)....Pages 3-14
 Interval Based Relaxation Heuristics for Numeric Planning with Action Costs  (Johannes Aldinger, Bernhard Nebel)....Pages 15-28
 Expected Outcomes and Manipulations in Online Fair Division  (Martin Aleksandrov, Toby Walsh)....Pages 29-43
 Most Competitive Mechanisms in Online Fair Division  (Martin Aleksandrov, Toby Walsh)....Pages 44-57
 A Thorough Formalization of Conceptual Spaces  (Lucas Bechberger, Kai-Uwe Kühnberger)....Pages 58-71
 Propagating Maximum Capacities for Recommendation  (Ahcène Boubekki, Ulf Brefeld, Cláudio Leonardo Lucchesi, Wolfgang Stille)....Pages 72-84
 Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm  (Tanya Braun, Ralf Möller)....Pages 85-98
 Improving the Cache-Efficiency of Shortest Path Search  (Stefan Edelkamp)....Pages 99-113
 Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic  (David Fuenmayor, Christoph Benzmüller)....Pages 114-127
 Real-Time Public Transport Delay Prediction for Situation-Aware Routing  (Lukas Heppe, Thomas Liebig)....Pages 128-141
 Online Multi-object Tracking-by-Clustering for Intelligent Transportation System with Neuromorphic Vision Sensor  (Gereon Hinz, Guang Chen, Muhammad Aafaque, Florian Röhrbein, Jörg Conradt, Zhenshan Bing et al.)....Pages 142-154
 A Generalization of Probabilistic Argumentation with Dempster-Shafer Theory  (Nguyen Duy Hung)....Pages 155-169
 Evolving Kernel PCA Pipelines with Evolution Strategies  (Oliver Kramer)....Pages 170-177
 An Experimental Study of Dimensionality Reduction Methods  (Almuth Meier, Oliver Kramer)....Pages 178-192
 Planning with Independent Task Networks  (Felix Mohr, Theo Lettmann, Eyke Hüllermeier)....Pages 193-206
 Complexity-Aware Generation of Workflows by Process-Oriented Case-Based Reasoning  (Gilbert Müller, Ralph Bergmann)....Pages 207-221
 LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions  (Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger, Thomas Kirste)....Pages 222-235
 A Priori Advantages of Meta-Induction and the No Free Lunch Theorem: A Contradiction?  (Gerhard Schurz, Paul Thorn)....Pages 236-248
 Dynamic Map Update of Non-static Facility Logistics Environment with a Multi-robot System  (Nayabrasul Shaik, Thomas Liebig, Christopher Kirsch, Heinrich Müller)....Pages 249-261
 Similarity and Contrast on Conceptual Spaces for Pertinent Description Generation  (Giovanni Sileno, Isabelle Bloch, Jamal Atif, Jean-Louis Dessalles)....Pages 262-275
Front Matter ....Pages 277-277
 Alarm Management on a Liquid Bulk Terminal  (Bram Aerts, Kylian Van Dessel, Joost Vennekens)....Pages 279-285
 Action Model Acquisition Using Sequential Pattern Mining  (Ankuj Arora, Humbert Fiorino, Damien Pellier, Sylvie Pesty)....Pages 286-292
 Steering Plot Through Personality and Affect: An Extended BDI Model of Fictional Characters  (Leonid Berov)....Pages 293-299
 Ontological Modelling of a Psychiatric Clinical Practice Guideline  (Daniel Gorín, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schröder)....Pages 300-308
 A Logic Programming Approach to Collaborative Autonomous Robotics  (Binal Javia, Philipp Cimiano)....Pages 309-315
 Parametrizing Cartesian Genetic Programming: An Empirical Study  (Paul Kaufmann, Roman Kalkreuth)....Pages 316-322
 Gesture ToolBox: Touchless Human-Machine Interface Using Deep Learning  (Elann Lesnes-Cuisiniez, Jesus Zegarra Flores, Jean-Pierre Radoux)....Pages 323-329
 Analysis of Sound Localization Data Generated by the Extended Mainzer Kindertisch  (Daniel Lückehe, Katharina Schmidt, Karsten Plotz, Gabriele von Voigt)....Pages 330-336
 A Robust Number Parser Based on Conditional Random Fields  (Heiko Paulheim)....Pages 337-343
 From Natural Language Instructions to Structured Robot Plans  (Mihai Pomarlan, Sebastian Koralewski, Michael Beetz)....Pages 344-351
 Opportunistic Planning with Recovery for Robot Safety  (Bernhard Reiterer, Michael Hofbaur)....Pages 352-358
 Towards Simulation-Based Role Optimization in Organizations  (Lukas Reuter, Jan Ole Berndt, Ingo J. Timm)....Pages 359-365
 One Knowledge Graph to Rule Them All? Analyzing the Differences Between DBpedia, YAGO, Wikidata & co.  (Daniel Ringler, Heiko Paulheim)....Pages 366-372
 ClassifyHub: An Algorithm to Classify GitHub Repositories  (Marcus Soll, Malte Vosgerau)....Pages 373-379
 Bremen Big Data Challenge 2017: Predicting University Cafeteria Load  (Jochen Weiner, Lorenz Diener, Simon Stelter, Eike Externest, Sebastian Kühl, Christian Herff et al.)....Pages 380-386
 Towards Sentiment Analysis on German Literature  (Albin Zehe, Martin Becker, Fotis Jannidis, Andreas Hotho)....Pages 387-394
Back Matter ....Pages 395-396