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.
Author(s): Pascal Bercher, Thomas Geier (auth.), Ingo J. Timm, Matthias Thimm (eds.)
Series: Lecture Notes in Computer Science 8077
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2013
Language: English
Pages: 313
Tags: Artificial Intelligence (incl. Robotics); Information Storage and Retrieval; Simulation and Modeling; User Interfaces and Human Computer Interaction; Mathematical Logic and Formal Languages
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 -
