Ebook: KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

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.

---

This book constitutes the refereed proceedings of the 35th 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.

---

This book constitutes the refereed proceedings of the 35th 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.
Content:
Front Matter....Pages -
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning....Pages 1-12
Workflow Clustering Using Semantic Similarity Measures....Pages 13-24
Empathy and Its Modulation in a Virtual Human....Pages 25-36
Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology....Pages 37-48
Parallel Variable Elimination on CNF Formulas....Pages 49-60
Agent-Based Multimodal Transport Planning in Dynamic Environments....Pages 61-73
On GPU-Based Nearest Neighbor Queries for Large-Scale Photometric Catalogs in Astronomy....Pages 74-85
On Mutation Rate Tuning and Control for the (1+1)-EA....Pages 86-97
Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes....Pages 98-105
Advances in Accessing Big Data with Expressive Ontologies....Pages 106-117
Estimating the Driver’s Workload....Pages 118-129
Pattern-Database Heuristics for Partially Observable Nondeterministic Planning....Pages 130-139
Automated Theorem Proving with Web Services....Pages 140-151
Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies....Pages 152-163
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics....Pages 164-175
Translating Single-Player GDL into PDDL....Pages 176-187
Comparison of Sensor-Feedback Prediction Methods for Robust Behavior Execution....Pages 188-199
Ingredients and Recipe for a Robust Mobile Speech-Enabled Cooking Assistant for German....Pages 200-211
A Philosophical Foundation for Ontology Alignments – The Structuralistic Approach....Pages 212-223
Contraction Hierarchies on Grid Graphs....Pages 224-235
– Mastering Left and Right – Different Approaches to a Problem That Is Not Straight Forward....Pages 236-247
Move Prediction in Go – Modelling Feature Interactions Using Latent Factors....Pages 248-259
Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis....Pages 260-271
Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security....Pages 272-283
Adapting a Virtual Agent’s Conversational Behavior by Social Strategies....Pages 284-287
Encoding HTN Heuristics in PDDL Planning Instances....Pages 288-291
Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios....Pages 292-295
Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation....Pages 296-299
Towards the Intelligent Home: Using Reinforcement-Learning for Optimal Heating Control....Pages 300-303
A Prolog-Based Tutor for Multi-column Subtraction with Multiple Algorithms Support....Pages 304-307
Back Matter....Pages 308-311
....Pages -