KI 2013: Advances in Artificial Intelligence

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

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.

• clustering
• human motion
• machine learning
• modeling
• semantics

• Business Informatics I, University of Trier, Trier, Germany

  Ingo J. Timm

• Institute for Web Science and Technologies, University of Koblenz, Koblenz, Germany

  Matthias Thimm

Policies and ethics