KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings

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 -