Advertisement

KI 2013: Advances in Artificial Intelligence

36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

  • Ingo J. Timm
  • Matthias Thimm
Conference proceedings KI 2013

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8077)

Table of contents

  1. Front Matter
    PDF
  2. Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning
    Pascal Bercher, Thomas Geier, Susanne Biundo
    Pages 1-12
  3. Workflow Clustering Using Semantic Similarity Measures
    Ralph Bergmann, Gilbert Müller, Daniel Wittkowsky
    Pages 13-24
  4. Empathy and Its Modulation in a Virtual Human
    Hana Boukricha, Ipke Wachsmuth, Maria Nella Carminati, Pia Knoeferle
    Pages 25-36
  5. Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology
    Ricardo Buettner
    Pages 37-48
  6. Computing Role-Depth Bounded Generalizations in the Description Logic \(\mathcal{ELOR}\)
    Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
    Pages 49-60
  7. Parallel Variable Elimination on CNF Formulas
    Kilian Gebhardt, Norbert Manthey
    Pages 61-73
  8. Agent-Based Multimodal Transport Planning in Dynamic Environments
    Christoph Greulich, Stefan Edelkamp, Max Gath
    Pages 74-85
  9. On GPU-Based Nearest Neighbor Queries for Large-Scale Photometric Catalogs in Astronomy
    Justin Heinermann, Oliver Kramer, Kai Lars Polsterer, Fabian Gieseke
    Pages 86-97
  10. On Mutation Rate Tuning and Control for the (1+1)-EA
    Oliver Kramer
    Pages 98-105
  11. Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes
    Vera Mersheeva, Gerhard Friedrich
    Pages 106-117
  12. Advances in Accessing Big Data with Expressive Ontologies
    Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt
    Pages 118-129
  13. Estimating the Driver’s Workload
    Christina Ohm, Bernd Ludwig
    Pages 130-139
  14. Pattern-Database Heuristics for Partially Observable Nondeterministic Planning
    Manuela Ortlieb, Robert Mattmüller
    Pages 140-151
  15. Automated Theorem Proving with Web Services
    Björn Pelzer
    Pages 152-163
  16. Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies
    Jendrik Poloczek, Oliver Kramer
    Pages 164-175
  17. Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics
    Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner
    Pages 176-187
  18. Translating Single-Player GDL into PDDL
    Thorsten Rauber, Peter Kissmann, Jörg Hoffmann
    Pages 188-199
  19. Comparison of Sensor-Feedback Prediction Methods for Robust Behavior Execution
    Christian Rauch, Elmar Berghöfer, Tim Köhler, Frank Kirchner
    Pages 200-211
  20. Ingredients and Recipe for a Robust Mobile Speech-Enabled Cooking Assistant for German
    Ulrich Schäfer, Frederik Arnold, Simon Ostermann, Saskia Reifers
    Pages 212-223
  21. A Philosophical Foundation for Ontology Alignments – The Structuralistic Approach
    Christian Schäufler, Clemens Beckstein, Stefan Artmann
    Pages 224-235
  22. Contraction Hierarchies on Grid Graphs
    Sabine Storandt
    Pages 236-247
  23. – Mastering Left and Right – Different Approaches to a Problem That Is Not Straight Forward
    André van Delden, Till Mossakowski
    Pages 248-259
  24. Move Prediction in Go – Modelling Feature Interactions Using Latent Factors
    Martin Wistuba, Lars Schmidt-Thieme
    Pages 260-271
  25. Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis
    Claus Zinn
    Pages 272-283
  26. Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security
    Carsten Elfers, Stefan Edelkamp, Hartmut Messerschmidt
    Pages 284-287
  27. Adapting a Virtual Agent’s Conversational Behavior by Social Strategies
    Nikita Mattar, Ipke Wachsmuth
    Pages 288-291
  28. Encoding HTN Heuristics in PDDL Planning Instances
    Christoph Mies, Joachim Hertzberg
    Pages 292-295
  29. Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios
    Tim Niemueller, Daniel Ewert, Sebastian Reuter, Ulrich Karras, Alexander Ferrein, Sabina Jeschke et al.
    Pages 296-299
  30. Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation
    Lena Wiese
    Pages 300-303
  31. Towards the Intelligent Home: Using Reinforcement-Learning for Optimal Heating Control
    Alexander Zenger, Jochen Schmidt, Michael Krödel
    Pages 304-307
  32. A Prolog-Based Tutor for Multi-column Subtraction with Multiple Algorithms Support
    Claus Zinn
    Pages 308-311
  33. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions. The papers contain research results on theory and applications of all aspects of AI.

Keywords

clustering human motion machine learning modeling semantics

Editors and affiliations

  • Ingo J. Timm
    • 1
  • Matthias Thimm
    • 2
  1. 1.Business Informatics IUniversity of TrierTrierGermany
  2. 2.Institute for Web Science and TechnologiesUniversity of KoblenzKoblenzGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40942-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40941-7
  • Online ISBN 978-3-642-40942-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site