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

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 -