Skip to main content
SpringerLink
Log in
Book cover

KI 2017: Advances in Artificial Intelligence

40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Gabriele Kern-Isberner

    1. Fakultät für Informatik, Technische Universität Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Johannes Fürnkranz

    1. FB Informatik, TU Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Matthias Thimm

    1. FB Informatik, Universität Koblenz, Koblenz, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10505)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: KI 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Full Technical Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Employing a Restricted Set of Qualitative Relations in Recognizing Plain Sketches

      • Ahmed M. H. Abdelfattah, Wael Zakaria
      Pages 3-14

    3. Interval Based Relaxation Heuristics for Numeric Planning with Action Costs

      • Johannes Aldinger, Bernhard Nebel
      Pages 15-28

    4. Expected Outcomes and Manipulations in Online Fair Division

      • Martin Aleksandrov, Toby Walsh
      Pages 29-43

    5. Most Competitive Mechanisms in Online Fair Division

      • Martin Aleksandrov, Toby Walsh
      Pages 44-57

    6. A Thorough Formalization of Conceptual Spaces

      • Lucas Bechberger, Kai-Uwe Kühnberger
      Pages 58-71

    7. Propagating Maximum Capacities for Recommendation

      • Ahcène Boubekki, Ulf Brefeld, Cláudio Leonardo Lucchesi, Wolfgang Stille
      Pages 72-84

    8. Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm

      • Tanya Braun, Ralf Möller
      Pages 85-98

    9. Improving the Cache-Efficiency of Shortest Path Search

      • Stefan Edelkamp
      Pages 99-113

    10. Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic

      • David Fuenmayor, Christoph Benzmüller
      Pages 114-127

    11. Real-Time Public Transport Delay Prediction for Situation-Aware Routing

      • Lukas Heppe, Thomas Liebig
      Pages 128-141

    12. 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

    13. A Generalization of Probabilistic Argumentation with Dempster-Shafer Theory

      • Nguyen Duy Hung
      Pages 155-169

    14. Evolving Kernel PCA Pipelines with Evolution Strategies

      • Oliver Kramer
      Pages 170-177

    15. An Experimental Study of Dimensionality Reduction Methods

      • Almuth Meier, Oliver Kramer
      Pages 178-192

    16. Planning with Independent Task Networks

      • Felix Mohr, Theo Lettmann, Eyke Hüllermeier
      Pages 193-206

    17. Complexity-Aware Generation of Workflows by Process-Oriented Case-Based Reasoning

      • Gilbert Müller, Ralph Bergmann
      Pages 207-221

    18. 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

    19. A Priori Advantages of Meta-Induction and the No Free Lunch Theorem: A Contradiction?

      • Gerhard Schurz, Paul Thorn
      Pages 236-248
Back to top

Other volumes

  1. KI 2017: Advances in Artificial Intelligence

Keywords

About this book

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017.

The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions.

The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.

Editors and Affiliations

  • Fakultät für Informatik, Technische Universität Dortmund, Dortmund, Germany

    Gabriele Kern-Isberner

  • FB Informatik, TU Darmstadt, Darmstadt, Germany

    Johannes Fürnkranz

  • FB Informatik, Universität Koblenz, Koblenz, Germany

    Matthias Thimm

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation