KI 2014 : advances in artificial intelligence : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014 : proceedings

This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany, in September 2014. The 24 revised full papers presented together with 7 short papers were carefully reviewed and selected from 62 submissions. The papers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling. Front Matter....Pages - The Ditmarsch Tale of Wonders....Pages 1-12 Allocation in Practice....Pages 13-24 Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2....Pages 25-36 Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems....Pages 37-48 A Note on Chances and Limitations of Psychometric AI....Pages 49-54 Applying AI for Modeling and Understanding Analogy-Based Classroom Teaching Tools and Techniques....Pages 55-61 Automatic Identification of Human Strategies by Cognitive Agents....Pages 62-67 Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training Data....Pages 68-79 Fast Semantic Segmentation of RGB-D Scenes with GPU-Accelerated Deep Neural Networks....Pages 80-85 Energy-Efficient Routing: Taking Speed into Account....Pages 86-97 CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing....Pages 98-110 Formula Simplifications as DRAT Derivations....Pages 111-122 A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained....Pages 123-134 Matching with Respect to General Concept Inclusions in the Description Logic $\mathcal{EL}$ ....Pages 135-146 Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theory....Pages 147-158 Towards a New Semantics for Possibilistic Answer Sets....Pages 159-170 Reasoning in ${\mathcal{ALC}}$ with Fuzzy Concrete Domains....Pages 171-182 A Stream-Temporal Query Language for Ontology Based Data Access....Pages 183-194 Towards Large-Scale Inconsistency Measurement....Pages 195-206 On the Scope of Qualitative Constraint Calculi....Pages 207-218 From Intelligibility to Debuggability in Context-Aware Systems....Pages 219-224 Towards a Trace Index Based Workflow Similarity Function....Pages 225-230 Local Feature Extractors Accelerating HNNP for Phoneme Recognition....Pages 231-242 Parallel Fitting of Additive Models for Regression....Pages 243-254 Multi-stage Constraint Surrogate Models for Evolution Strategies....Pages 255-266 Evolutionary Turbine Selection for Wind Power Predictions....Pages 267-272 Planning in the Wild: Modeling Tools for PDDL....Pages 273-284 Monte-Carlo Tree Search for 3D Packing with Object Orientation....Pages 285-296 An Experimental Comparison of Classical, FOND and Probabilistic Planning....Pages 297-308 Minimizing Necessary Observations for Nondeterministic Planning....Pages 309-320 Back Matter....Pages - This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015.