KI 2012: Advances in Artificial Intelligence : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings

This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012. The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The papers contain research results on theory and applicaiton of all aspects of AI. Front Matter....Pages - Verification of Behaviour Networks Using Finite-State Automata....Pages 1-12 Formal Semantics of Model Fields in Annotation-Based Specifications....Pages 13-24 Searching with Partial Belief States in General Games with Incomplete Information....Pages 25-36 A Machine-Learning Framework for Hybrid Machine Translation....Pages 37-48 Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals....Pages 49-60 Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People....Pages 61-72 PAC-Learning with General Class Noise Models....Pages 73-84 Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning....Pages 85-96 Unsupervised Nearest Neighbors with Kernels....Pages 97-106 A Compact Encoding of Pseudo-Boolean Constraints into SAT....Pages 107-118 Small Talk Is More than Chit-Chat....Pages 119-130 Clustering Based on Density Estimation with Sparse Grids....Pages 131-142 A Comparison between Cognitive and AI Models of Blackjack Strategy Learning....Pages 143-155 Plan Recognition by Program Execution in Continuous Temporal Domains....Pages 156-167 Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data....Pages 168-179 Nogoods in Qualitative Constraint-Based Reasoning....Pages 180-192 Stochastic Gradient Descent with GPGPU....Pages 193-204 Improved Query Suggestion by Query Search....Pages 205-216 Knowledge-Base Revision Using Implications as Hypotheses....Pages 217-228 Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation....Pages 229-232 Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering....Pages 233-236 Ontology-Based Information Extraction for French Newspaper Articles....Pages 237-240 Semantic Approach to Identity in Coreference Resolution Task....Pages 241-244 Matching Points of Interest from Different Social Networking Sites....Pages 245-248 Semi-analytic Natural Number Series Induction....Pages 249-252 Dependency Parsing with Efficient Feature Extraction....Pages 253-256 Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules....Pages 257-261 Gated Boosting: Efficient Classifier Boosting and Combining....Pages 262-265 Back Matter....Pages -