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

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