KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings (Lecture Notes in Computer Science)

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